Amir Pnueli, Ofer Strichman, Michael Siegel. Translation Validation for Synchronous Languages. In Kim Guldstrand Larsen, Sven Skyum, Glynn Winskel, editors, Automata, Languages and Programming, 25th International Colloquium, ICALP 98, Aalborg, Denmark, July 13-17, 1998, Proceedings. Volume 1443 of Lecture Notes in Computer Science, pages 235-246, Springer, 1998. [doi]
@inproceedings{PnueliSS98:0,
title = {Translation Validation for Synchronous Languages},
author = {Amir Pnueli and Ofer Strichman and Michael Siegel},
year = {1998},
url = {http://link.springer.de/link/service/series/0558/bibs/1443/14430235.htm},
tags = {translation},
researchr = {https://researchr.org/publication/PnueliSS98%3A0},
cites = {0},
citedby = {0},
pages = {235-246},
booktitle = {Automata, Languages and Programming, 25th International Colloquium, ICALP 98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
editor = {Kim Guldstrand Larsen and Sven Skyum and Glynn Winskel},
volume = {1443},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-64781-3},
}