Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck. Parameterized Verification with Automatically Computed Inductive Assertions. In Gérard Berry, Hubert Comon, Alain Finkel, editors, Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings. Volume 2102 of Lecture Notes in Computer Science, pages 221-234, Springer, 2001. [doi]
@inproceedings{AronsPRXZ01,
title = {Parameterized Verification with Automatically Computed Inductive Assertions},
author = {Tamarah Arons and Amir Pnueli and Sitvanit Ruah and Jiazhao Xu and Lenore D. Zuck},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2102/21020221.htm},
researchr = {https://researchr.org/publication/AronsPRXZ01},
cites = {0},
citedby = {0},
pages = {221-234},
booktitle = {Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings},
editor = {Gérard Berry and Hubert Comon and Alain Finkel},
volume = {2102},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42345-1},
}