Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis. Timing Verification by Successive Approximation. In Gregor von Bochmann, David K. Probst, editors, Computer Aided Verification, Fourth International Workshop, CAV 92, Montreal, Canada, June 29 - July 1, 1992, Proceedings. Volume 663 of Lecture Notes in Computer Science, pages 137-150, Springer, 1992.
@inproceedings{AlurIKY92,
title = {Timing Verification by Successive Approximation},
author = {Rajeev Alur and Alon Itai and Robert P. Kurshan and Mihalis Yannakakis},
year = {1992},
researchr = {https://researchr.org/publication/AlurIKY92},
cites = {0},
citedby = {0},
pages = {137-150},
booktitle = {Computer Aided Verification, Fourth International Workshop, CAV 92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
editor = {Gregor von Bochmann and David K. Probst},
volume = {663},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56496-9},
}