Publications

DBLP:conf/fmcad/CimattiRS04

Summary

Alessandro Cimatti, Marco Roveri and Daniel Sheridan (2004) Bounded Verification of Past LTL.. In Formal Methods in Computer-Aided Design, 5th International Confrence, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings. (Alan J. Hu and Andrew K. Martin, Eds.) Springer, pages 245-259. (url)

Bibtex entry

@INPROCEEDINGS { DBLP:conf/fmcad/CimattiRS04,
    AUTHOR = { Alessandro Cimatti and Marco Roveri and Daniel Sheridan },
    EDITOR = { Alan J. Hu and Andrew K. Martin },
    TITLE = { Bounded Verification of Past LTL. },
    BOOKTITLE = { Formal Methods in Computer-Aided Design, 5th International Confrence, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings },
    PUBLISHER = { Springer },
    YEAR = { 2004 },
    ISBN = { 3-540-23738-0 },
    PAGES = { 245-259 },
    EE = { http://springerlink.metapress.com/openurl.asp?genre$=$article },
    BIBSOURCE = { DBLP,http://dblp.uni-trier.de },
}