Using optimal simulations to reduce reachability graphs

Lecture Notes in Computer Science - Computer-Aided Verification ◽

10.1007/bfb0023730 ◽

2005 ◽

pp. 166-175 ◽

Author(s):

Ryszard Janicki ◽

Maciej Koutny

Download Full-text