Andreas Both, Wolf Zimmermann. Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems. In Michel R. V. Chaudron, Clemens A. Szyperski, Ralf Reussner, editors, Component-Based Software Engineering, 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings. Volume 5282 of Lecture Notes in Computer Science, pages 163-179, Springer, 2008. [doi]
Abstract is missing.