Publications

mochart

Summary

P. Bertoli, M. Bozzano and A. Cimatti (2007) A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. In Model Checking and Artificial Intelligence, Springer, 4428(1):1-18.

BibTeX Entry

@INCOLLECTION { Mochart,
    AUTHOR = { P. Bertoli and M. Bozzano and A. Cimatti },
    TITLE = { A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis },
    BOOKTITLE = { Model Checking and Artificial Intelligence },
    SERIES = { LNCS },
    VOLUME = { 4428 },
    PAGES = { 1-18 },
    YEAR = { 2007 },
    PUBLISHER = { Springer },
}