Wolf Zimmermann, Michael Schaarschmidt. Automatic Checking of Component Protocols in Component-Based Systems. In Welf Löwe, Mario Südholt, editors, Software Composition, 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers. Volume 4089 of Lecture Notes in Computer Science, pages 1-17, Springer, 2006. [doi]
@inproceedings{ZimmermannS06,
title = {Automatic Checking of Component Protocols in Component-Based Systems},
author = {Wolf Zimmermann and Michael Schaarschmidt},
year = {2006},
doi = {10.1007/11821946_1},
url = {http://dx.doi.org/10.1007/11821946_1},
tags = {rule-based, protocol},
researchr = {https://researchr.org/publication/ZimmermannS06},
cites = {0},
citedby = {0},
pages = {1-17},
booktitle = {Software Composition, 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers},
editor = {Welf Löwe and Mario Südholt},
volume = {4089},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-37657-7},
}