Modular Nonblocking Verification Using Conflict Equivalence
Paper in proceeding, 2006
Nonblocking
conflicts
discrete event systems
verification
minimisation
Author
Hugo Flordal
Chalmers, Signals and Systems, Systems and control
Malik Malik
8th International Workshop on Discrete Event Systems (WODES'06)
100-106
Subject Categories
Computer Science