Inproceedings,
Codesign of dependable systems: A component-based modeling language.
M. Bozzano, A. Cimatti, M. Roveri, J. Katoen, V. Nguyen, and T. Noll.MEMOCODE, page 121-130. IEEE, (2009)
Meta data
- BibTeX key
- conf/memocode/BozzanoCRKNN09
- entry type
- inproceedings
- booktitle
- MEMOCODE
- year
- 2009
- pages
- 121-130
- publisher
- IEEE
- crossref
- conf/memocode/2009
- ee
- https://www.wikidata.org/entity/Q57801511
- isbn
- 978-1-4244-4806-7
- url
- http://dblp.uni-trier.de/db/conf/memocode/memocode2009.html#BozzanoCRKNN09
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/memocode/BozzanoCRKNN09
%A Bozzano, Marco
%A Cimatti, Alessandro
%A Roveri, Marco
%A Katoen, Joost-Pieter
%A Nguyen, Viet Yen
%A Noll, Thomas
%B MEMOCODE
%D 2009
%I IEEE
%K
%P 121-130
%T Codesign of dependable systems: A component-based modeling language.
%U http://dblp.uni-trier.de/db/conf/memocode/memocode2009.html#BozzanoCRKNN09
%@ 978-1-4244-4806-7
@inproceedings{conf/memocode/BozzanoCRKNN09,
added-at = {2023-12-12T18:20:22.000+0100},
author = {Bozzano, Marco and Cimatti, Alessandro and Roveri, Marco and Katoen, Joost-Pieter and Nguyen, Viet Yen and Noll, Thomas},
biburl = {https://www.bibsonomy.org/bibtex/288e877304bbc7657e3a5f67e7f4e1b7f/admin},
booktitle = {MEMOCODE},
crossref = {conf/memocode/2009},
ee = {https://www.wikidata.org/entity/Q57801511},
interhash = {10da2cf0f03705756550b91c5d7b6dcf},
intrahash = {88e877304bbc7657e3a5f67e7f4e1b7f},
isbn = {978-1-4244-4806-7},
keywords = {},
pages = {121-130},
publisher = {IEEE},
timestamp = {2023-12-12T18:20:22.000+0100},
title = {Codesign of dependable systems: A component-based modeling language.},
url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2009.html#BozzanoCRKNN09},
year = 2009
}