Memory-e cient algorithms for the veri cation of temporal properties (1992)

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