Publications

tacas16

Summary

B. Bittner, M. Bozzano, R. Cavada, A. Cimatti, M. Gario, A. Griggio, C. Mattarei, A. Micheli and G. Zampedri (2016) The xSAP Safety Analysis Platform. In Proceedings of TACAS 2016.

BibTeX Entry

@INPROCEEDINGS { TACAS16,
    AUTHOR = { B. Bittner and M. Bozzano and R. Cavada and A. Cimatti and M. Gario and A. Griggio and C. Mattarei and A. Micheli and G. Zampedri },
    TITLE = { The xSAP Safety Analysis Platform },
    BOOKTITLE = { Proceedings of TACAS 2016 },
    YEAR = { 2016 },
}