Publications

aaai16

Summary

B. Bittner, M. Bozzano, A. Cimatti and G. Zampedri (2016) Automated Verification and Tightening of Failure Propagation Models. In Proceedings of AAAI 2016.

BibTeX Entry

@INPROCEEDINGS { AAAI16,
    AUTHOR = { B. Bittner and M. Bozzano and A. Cimatti and G. Zampedri },
    TITLE = { Automated Verification and Tightening of Failure Propagation Models },
    BOOKTITLE = { Proceedings of AAAI 2016 },
    YEAR = { 2016 },
}