parties/tools/adt2amas

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

parties/tools/adt2maude

Last synced at: 8 months ago - Stars: 1 - Forks: 0