source: fedd/abac-src/atnvis/strategy_comparison/sadmir-ussh_both/go @ 4adc697

version-1.30
Last change on this file since 4adc697 was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago

ABAC sources from Cobham

  • Property mode set to 100755
File size: 49 bytes
RevLine 
[8780cbec]1java -jar ../../atnvis.jar SAdmir.prop USSH.prop
Note: See TracBrowser for help on using the repository browser.