A Stubborn Attack on State Explosion (1991)

by A Valmari
Venue:In CAV ’90: Proceedings of the 2nd International Workshop on Computer Aided Verification