Publications

cav15b

Summary

M. Bozzano, A. Cimatti, C. Mattarei and A. Griggio (2015) Efficient Anytime Techniques for Model-Based Safety Analysis. In Proceedings of CAV 2015, pages 603-621.

BibTeX Entry

@INPROCEEDINGS { CAV15b,
    AUTHOR = { M. Bozzano and A. Cimatti and C. Mattarei and A. Griggio },
    TITLE = { Efficient Anytime Techniques for Model-Based Safety Analysis },
    BOOKTITLE = { Proceedings of CAV 2015 },
    PAGES = { 603-621 },
    YEAR = { 2015 },
}