Using Optimal Simulations to Reduce Reachability Graphs

• Authors:

• Ryszard Janicki;Maciej Koutny

• Affiliations:

• -;-

• Venue:
• CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
• Year:
• 1990