Publications

atva07

Summary

M. Bozzano, A. Cimatti and F. Tapparo (2007) Symbolic Fault Tree Analysis for Reactive Systems. In Proc. 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007), Springer, pages 162-176.

BibTeX Entry

@INPROCEEDINGS { ATVA07,
    AUTHOR = { M. Bozzano and A. Cimatti and F. Tapparo },
    BOOKTITLE = { Proc. 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007) },
    PAGES = { 162-176 },
    PUBLISHER = { Springer },
    SERIES = { LNCS },
    TITLE = { Symbolic Fault Tree Analysis for Reactive Systems },
    VOLUME = { 4762 },
    YEAR = { 2007 },
}