Memory efficient algorithms for the verification of temporal properties. Computer-aided Verification (1992)

by C Courcoubetis, M Vardi, P Wolper, M Yannakakis