Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz. Formal Verification for Components and Connectors. In Frank S. de Boer, Marcello M. Bonsangue, Eric Madelain, editors, Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures. Volume 5751 of Lecture Notes in Computer Science, pages 82-101, Springer, 2008. [doi]
@inproceedings{BaierBKK08,
title = {Formal Verification for Components and Connectors},
author = {Christel Baier and Tobias Blechmann and Joachim Klein and Sascha Klüppelholz},
year = {2008},
doi = {10.1007/978-3-642-04167-9_5},
url = {http://dx.doi.org/10.1007/978-3-642-04167-9_5},
researchr = {https://researchr.org/publication/BaierBKK08},
cites = {0},
citedby = {0},
pages = {82-101},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures},
editor = {Frank S. de Boer and Marcello M. Bonsangue and Eric Madelain},
volume = {5751},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-04166-2},
}