Thomas A. Henzinger, Zohar Manna, Amir Pnueli. Temporal Proof Methodologies for Timed Transition Systems. Inf. Comput., 112(2):273-337, August 1994.
@article{HenzingerMP94, title = {Temporal Proof Methodologies for Timed Transition Systems}, author = {Thomas A. Henzinger and Zohar Manna and Amir Pnueli}, year = {1994}, month = {August}, researchr = {https://researchr.org/publication/HenzingerMP94}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {112}, number = {2}, pages = {273-337}, }