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]
@inproceedings{PlsekA08,
title = {Carmen: Software Component Model Checker},
author = {Ales Plsek and Jirí Adámek},
year = {2008},
doi = {10.1007/978-3-540-87879-7_5},
url = {http://dx.doi.org/10.1007/978-3-540-87879-7_5},
tags = {software components, software component},
researchr = {https://researchr.org/publication/PlsekA08},
cites = {0},
citedby = {0},
pages = {71-85},
booktitle = {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},
editor = {Steffen Becker and Frantisek Plasil and Ralf Reussner},
volume = {5281},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-87878-0},
}