Memory Efficient Algorithms for the Verification of Temporal Properties (0)

by C Courcoubetis, M Y Vardi, P Wolper, M Yannakakis
Venue:In CAV’1990, volume 531 of LNCS