Publications

automatedreliability2013

Summary

M. Bozzano, A. Cimatti and C. Mattarei (2013) Automated Analysis of Reliability Architectures. In 18th International Conference on Engineering of Complex Computer Systems (ICECCS), IEEE.

BibTeX Entry

@INPROCEEDINGS { automatedreliability2013,
    TITLE = { Automated Analysis of Reliability Architectures },
    AUTHOR = { M. Bozzano and A. Cimatti and C. Mattarei },
    BOOKTITLE = { 18th International Conference on Engineering of Complex Computer Systems (ICECCS) },
    PUBLISHER = { IEEE },
    MONTH = { july },
    YEAR = { 2013 },
}