Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis. Ensuring Properties of Interaction Systems. In Thomas W. Reps, Mooly Sagiv, Jörg Bauer, editors, Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. Volume 4444 of Lecture Notes in Computer Science, pages 201-224, Springer, 2006. [doi]
@inproceedings{GosslerGMMS06,
title = {Ensuring Properties of Interaction Systems},
author = {Gregor Gößler and Susanne Graf and Mila E. Majster-Cederbaum and Moritz Martens and Joseph Sifakis},
year = {2006},
doi = {10.1007/978-3-540-71322-7_10},
url = {http://dx.doi.org/10.1007/978-3-540-71322-7_10},
researchr = {https://researchr.org/publication/GosslerGMMS06},
cites = {0},
citedby = {0},
pages = {201-224},
booktitle = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday},
editor = {Thomas W. Reps and Mooly Sagiv and Jörg Bauer},
volume = {4444},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-71315-9},
}