Publications

ijcai16

Summary

B. Bittner, M. Bozzano and A. Cimatti (2016) Automated Synthesis of Timed Failure Propagation Graphs. In Proceedings of IJCAI 2016.

BibTeX Entry

@INPROCEEDINGS { ijcai16,
    AUTHOR = { B. Bittner and M. Bozzano and A. Cimatti },
    TITLE = { {Automated Synthesis of Timed Failure Propagation Graphs} },
    BOOKTITLE = { {In Proceedings of IJCAI 2016} },
    YEAR = { 2016 },
}