Publications

journals/eceasst/BozzanoCLMMRT11

Summary

M. Bozzano, A. Cimatti, O. Lisagor, C. Mattarei, S. Mover, M. Roveri and S. Tonetta (2011) Symbolic Model Checking and Safety Assessment of Altarica models. In ECEASST, 46.

BibTeX Entry

@ARTICLE { DBLP:journals/eceasst/BozzanoCLMMRT11,
    AUTHOR = { M. Bozzano and A. Cimatti and O. Lisagor and C. Mattarei and S. Mover and M. Roveri and S. Tonetta },
    TITLE = { Symbolic Model Checking and Safety Assessment of Altarica models },
    JOURNAL = { ECEASST },
    VOLUME = { 46 },
    YEAR = { 2011 },
    EE = { http://journal.ub.tu-berlin.de/eceasst/article/view/697 },
    BIBSOURCE = { DBLP, http://dblp.uni-trier.de },
}