@inproceedings{plsek:inria-00282373, TITLE = {{Carmen: Software Component Model Checker}}, AUTHOR = {Plsek, Ales and Adamek, Jiri}, URL = {https://inria.hal.science/inria-00282373}, BOOKTITLE = {{4th International Conference on the Quality of Software Architecture (QoSA'08)}}, ADDRESS = {Karlsruhe, Germany}, PAGES = {71-85}, YEAR = {2008}, MONTH = Oct, PDF = {https://inria.hal.science/inria-00282373/file/carmen-camera-modif.pdf}, HAL_ID = {inria-00282373}, HAL_VERSION = {v1}, }