Partial-order verification in SPIN can be more efficient (1997)

by Hans Van Der Schoot
Venue:In Proceedings of the 3rd International SPIN Workshop on Model Checking of Software (SPIN ‘97
Citations:1 - 0 self