%0 Conference Paper %1 conf/soco/ZimmermannS06 %A Zimmermann, Wolf %A Schaarschmidt, Michael %B SC@ETAPS %D 2006 %E Löwe, Welf %E Südholt, Mario %I Springer %K dblp %P 1-17 %T Automatic Checking of Component Protocols in Component-Based Systems. %U http://dblp.uni-trier.de/db/conf/soco/sc2006.html#ZimmermannS06 %V 4089 %@ 3-540-37657-7

@inproceedings{conf/soco/ZimmermannS06, added-at = {2020-06-25T00:00:00.000+0200}, author = {Zimmermann, Wolf and Schaarschmidt, Michael}, biburl = {https://www.bibsonomy.org/bibtex/282f4dafa2417a711815e6a9dfb3266af/dblp}, booktitle = {SC@ETAPS}, crossref = {conf/soco/2006}, editor = {Löwe, Welf and Südholt, Mario}, ee = {https://doi.org/10.1007/11821946_1}, interhash = {01546a1c23fa12cedef82e21f3baab0f}, intrahash = {82f4dafa2417a711815e6a9dfb3266af}, isbn = {3-540-37657-7}, keywords = {dblp}, pages = {1-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-06-26T11:39:50.000+0200}, title = {Automatic Checking of Component Protocols in Component-Based Systems.}, url = {http://dblp.uni-trier.de/db/conf/soco/sc2006.html#ZimmermannS06}, volume = 4089, year = 2006 }