%0 Conference Paper %1 conf/iceccs/BozzanoCM13 %A Bozzano, Marco %A Cimatti, Alessandro %A Mattarei, Cristian %B ICECCS %D 2013 %I IEEE Computer Society %K dblp %P 198-207 %T Automated Analysis of Reliability Architectures. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2013.html#BozzanoCM13 %@ 978-0-7695-5007-7

@inproceedings{conf/iceccs/BozzanoCM13, added-at = {2023-03-24T00:00:00.000+0100}, author = {Bozzano, Marco and Cimatti, Alessandro and Mattarei, Cristian}, biburl = {https://www.bibsonomy.org/bibtex/2d42618481ed8db2fa3f8e7f872a4388e/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2013}, ee = {https://www.wikidata.org/entity/Q62041166}, interhash = {4030d282aa58c114a1f0a2ec024a52f0}, intrahash = {d42618481ed8db2fa3f8e7f872a4388e}, isbn = {978-0-7695-5007-7}, keywords = {dblp}, pages = {198-207}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T08:31:21.000+0200}, title = {Automated Analysis of Reliability Architectures.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2013.html#BozzanoCM13}, year = 2013 }