Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen. Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software. In Pierre Wolper, editor, Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings. Volume 939 of Lecture Notes in Computer Science, pages 127-140, Springer, 1995.
@inproceedings{JagadeesanPO95,
title = {Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software},
author = {Lalita Jategaonkar Jagadeesan and Carlos Puchol and James Von Olnhausen},
year = {1995},
tags = {program verification},
researchr = {https://researchr.org/publication/JagadeesanPO95},
cites = {0},
citedby = {0},
pages = {127-140},
booktitle = {Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings},
editor = {Pierre Wolper},
volume = {939},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-60045-0},
}