Supremica - A Tool for Verification and Synthesis of Discrete Event Supervisors
Paper in proceedings, 2003

Author

[Person 496e7c61-e953-4920-9417-4d6f9155d683 not found]

Chalmers, Signals and Systems, Control and Automation Laboratory

[Person 58ff4dd6-78a5-4457-a143-8eac84f33d6d not found]

Chalmers, Signals and Systems, Control and Automation Laboratory

[Person ea6c0a84-9389-4ab7-a645-9662809bc301 not found]

Chalmers, Signals and Systems, Control and Automation Laboratory

[Person 3acc2528-b465-4565-addd-f8dd81783664 not found]

Chalmers, Signals and Systems, Control and Automation Laboratory

Proc. of the 11th Mediterranean Conference on Control and Automation, Rhodos, Greece

Subject Categories

Computer and Information Science

More information

Created

10/7/2017