Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe. Abstraction and Modular Verification of Infinite-State Reactive Systems. In Manfred Broy, Bernhard Rumpe, editors, Requirements Targeting Software and Systems Engineering, International Workshop RTSE 97, Bernried, Germany, October 12-14, 1997, Proceedings. Volume 1526 of Lecture Notes in Computer Science, pages 273-292, Springer, 1997.
@inproceedings{MannaCFSU97,
title = {Abstraction and Modular Verification of Infinite-State Reactive Systems},
author = {Zohar Manna and Michael Colón and Bernd Finkbeiner and Henny Sipma and Tomás E. Uribe},
year = {1997},
tags = {e-science, abstraction},
researchr = {https://researchr.org/publication/MannaCFSU97},
cites = {0},
citedby = {0},
pages = {273-292},
booktitle = {Requirements Targeting Software and Systems Engineering, International Workshop RTSE 97, Bernried, Germany, October 12-14, 1997, Proceedings},
editor = {Manfred Broy and Bernhard Rumpe},
volume = {1526},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-65309-0},
}