Publications

DBLP:conf/cav/CimattiRST07

Summary

Alessandro Cimatti, Marco Roveri, Viktor Schuppan and Stefano Tonetta (2007) Boolean Abstraction for Temporal Logic Satisfiability. In Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings. (Werner Damm and Holger Hermanns, Eds.) Springer, pages 532-546. (url)

Bibtex entry

@INPROCEEDINGS { DBLP:conf/cav/CimattiRST07,
    AUTHOR = { Alessandro Cimatti and Marco Roveri and Viktor Schuppan and Stefano Tonetta },
    TITLE = { Boolean Abstraction for Temporal Logic Satisfiability },
    BOOKTITLE = { Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings },
    EDITOR = { Werner Damm and Holger Hermanns },
    PUBLISHER = { Springer },
    SERIES = { Lecture Notes in Computer Science },
    VOLUME = { 4590 },
    YEAR = { 2007 },
    PAGES = { 532-546 },
    EE = { http://dx.doi.org/10.1007/978-3-540-73368-3_53 },
    ISBN = { 978-3-540-73367-6 },
    BIBSOURCE = { DBLP, http://dblp.uni-trier.de },
}