Memory efficient algorithms for verification of temporal properties (1992)

by C Courcoubetis, M Y Vardi, P Wolper, M Yannakakis
Venue:In Formal Methods in System Design