Ales Plsek, Jirí Adámek. Carmen: Software Component Model Checker. In Steffen Becker, Frantisek Plasil, Ralf Reussner, editors, Quality of Software Architectures. Models and Architectures, 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings. Volume 5281 of Lecture Notes in Computer Science, pages 71-85, Springer, 2008. [doi]
Abstract is missing.