Limor Fix, Orna Grumberg. Verification of Temporal Properties. Journal of Logic and Computation, 6(3):343-361, 1996.
@article{FixG96,
title = {Verification of Temporal Properties},
author = {Limor Fix and Orna Grumberg},
year = {1996},
researchr = {https://researchr.org/publication/FixG96},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {6},
number = {3},
pages = {343-361},
}