Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis. Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods in System Design, 1(2/3):275-288, 1992.
@article{CourcoubetisVWY92,
title = {Memory-Efficient Algorithms for the Verification of Temporal Properties},
author = {Costas Courcoubetis and Moshe Y. Vardi and Pierre Wolper and Mihalis Yannakakis},
year = {1992},
researchr = {https://researchr.org/publication/CourcoubetisVWY92},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {1},
number = {2/3},
pages = {275-288},
}