Publications

DBLP:conf/tacas/CimattiRT07

Summary

Alessandro Cimatti, Marco Roveri and Stefano Tonetta (2007) Syntactic Optimizations for PSL Verification.. In Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings. (Orna Grumberg and Michael Huth, Eds.) Springer, pages 505-518. (url)

Bibtex entry

@INPROCEEDINGS { DBLP:conf/tacas/CimattiRT07,
    AUTHOR = { Alessandro Cimatti and Marco Roveri and Stefano Tonetta },
    EDITOR = { Orna Grumberg and Michael Huth },
    TITLE = { Syntactic Optimizations for PSL Verification. },
    BOOKTITLE = { Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings },
    PUBLISHER = { Springer },
    YEAR = { 2007 },
    PAGES = { 505-518 },
    EE = { http://dx.doi.org/10.1007/978-3-540-71209-1 },
    BIBSOURCE = { DBLP,http://dblp.uni-trier.de },
}