INRIA Lille - Nord Europe
40 avenue Halley
59650 Villeneuve d'Ascq, France
Map
Side Bars
Header/Footer
Site Pages
Carmen: Software Component Model Checker. Ales Plsek and Jiri Adamek. In Proceedings of the $4^{th}$ International Conference on the Quality of Software-Architectures (QoSA'08), pages 71-85, Karlsruhe, Germany, October 2008. (Rank (CORE) : A).
@INPROCEEDINGS { Plsek08-QoSA-08,
AUTHOR = { Ales Plsek and Jir\'i Ad\'amek },
MONTH = { oct },
DATE = { October 22 },
ADDRESS = { Karlsruhe, Germany },
YEAR = { 2008 },
TITLE = { {Carmen: Software Component Model Checker} },
BOOKTITLE = { Proceedings of the $4^{th}$ International Conference on the Quality of Software-Architectures (QoSA'08) },
PUBLISHER = { Springer-Verlag },
SERIES = { Lecture Notes in Computer Science },
VOLUME = { 5281 },
EDITOR = { Steffen Becker and Frantisek Plasil and Ralf Reussner },
PAGES = { 71--85 },
LANGUAGE = { english },
AERES = { ACT },
INRIA = { ADAM },
LABO = { dans },
SELECTIF = { oui },
NOTE = { Rank (CORE) : A },
URL = { http://hal.inria.fr/inria-00282373 },
BOARD = { yes },
PROCEEDINGS = { yes },
AUDIENCE = { yes },
}
Adam