Markus Lumpe, Lars Grunske, Jean-Guy Schneider. State Space Reduction Techniques for Component Interfaces. 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 130-145, Springer, 2008. [doi]
Abstract is missing.