Publications

DBLP:conf/cav/BloemCPRT07

Summary

Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri and Andrei Tchaltsev (2007) RAT: A Tool for the Formal Analysis of Requirements. In Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings. (Werner Damm and Holger Hermanns, Eds.) Springer, pages 263-267. (url)

Bibtex entry

@INPROCEEDINGS { DBLP:conf/cav/BloemCPRT07,
    AUTHOR = { Roderick Bloem and Roberto Cavada and Ingo Pill and Marco Roveri and Andrei Tchaltsev },
    TITLE = { RAT: A Tool for the Formal Analysis of Requirements },
    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 = { 263-267 },
    EE = { http://dx.doi.org/10.1007/978-3-540-73368-3_30 },
    ISBN = { 978-3-540-73367-6 },
    BIBSOURCE = { DBLP, http://dblp.uni-trier.de },
}