Publications

DBLP:conf/fmcad/CimattiRST06

Summary

Alessandro Cimatti, Marco Roveri, Simone Semprini and Stefano Tonetta (2006) From PSL to NBA: a Modular Symbolic Encoding.. In Formal Methods in Computer-Aided Design, 6th International Confrence, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings.. IEEE Computer Society, pages 125-133. (url)

Bibtex entry

@INPROCEEDINGS { DBLP:conf/fmcad/CimattiRST06,
    AUTHOR = { Alessandro Cimatti and Marco Roveri and Simone Semprini and Stefano Tonetta },
    TITLE = { From PSL to NBA: a Modular Symbolic Encoding. },
    BOOKTITLE = { Formal Methods in Computer-Aided Design, 6th International Confrence, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings },
    PUBLISHER = { IEEE Computer Society },
    YEAR = { 2006 },
    ISBN = { 0-7695-2707-8 },
    PAGES = { 125-133 },
    EE = { http://doi.ieeecomputersociety.org/10.1109/FMCAD.2006.19 },
    BIBSOURCE = { DBLP,http://dblp.uni-trier.de },
}