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]
Abstract is missing.