Modular Nonblocking Verification Using Conflict Equivalence
Paper in proceedings, 2006

Nonblocking

conflicts

discrete event systems

verification

minimisation

Author

Hugo Flordal

Chalmers, Signals and Systems, Systems and control, Automation

Malik Malik

8th International Workshop on Discrete Event Systems (WODES'06)

100-106

Subject Categories

Computer Science

More information

Created

10/6/2017