Publications

sttt07

Summary

M. Bozzano and A. Villafiorita (2007) The FSAP/NuSMV-SA Safety Analysis Platform. In Software Tools for Technology Transfer, 9(1):5-24.

BibTeX Entry

@ARTICLE { STTT07,
    AUTHOR = { M. Bozzano and A. Villafiorita },
    JOURNAL = { Software Tools for Technology Transfer },
    NUMBER = { 1 },
    PAGES = { 5-24 },
    TITLE = { The FSAP/NuSMV-SA Safety Analysis Platform },
    VOLUME = { 9 },
    YEAR = { 2007 },
}