Memory Efficient Algorithms for the Verification of Temporal Properties.

Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis

Browse the full CAV paper archive.