Publications

scp15

Summary

M. Bozzano, A. Cimatti, O. Lisagor, C. Mattarei, S. Mover, M. Roveri and S. Tonetta (2015) Safety Assessment of AltaRica models via Symbolic Model Checking. In Science of Computer Programming, 98(4):464-483.

BibTeX Entry

@ARTICLE { SCP15,
    AUTHOR = { M. Bozzano and A. Cimatti and O. Lisagor and C. Mattarei and S. Mover and M. Roveri and S. Tonetta },
    TITLE = { Safety Assessment of AltaRica models via Symbolic Model Checking },
    JOURNAL = { Science of Computer Programming },
    VOLUME = { 98 },
    NUMBER = { 4 },
    PAGES = { 464-483 },
    YEAR = { 2015 },
}