Publications

aaai15

Summary

M. Bozzano, A. Cimatti and Andrea Micheli (2015) SMT-based Validation of Timed Failure Propagation Graphs. In Proceedings of AAAI 2015, pages 3724-3730.

BibTeX Entry

@INPROCEEDINGS { AAAI15,
    AUTHOR = { M. Bozzano and A. Cimatti and M. Gario and Andrea Micheli },
    TITLE = { SMT-based Validation of Timed Failure Propagation Graphs },
    BOOKTITLE = { Proceedings of AAAI 2015 },
    PAGES = { 3724-3730 },
    YEAR = { 2015 },
}