%0 Conference Paper %1 conf/cav/BloemCPRT07 %A Bloem, Roderick %A Cavada, Roberto %A Pill, Ingo %A Roveri, Marco %A Tchaltsev, Andrei %B CAV %D 2007 %E Damm, Werner %E Hermanns, Holger %I Springer %K dblp %P 263-267 %T RAT: A Tool for the Formal Analysis of Requirements. %U http://dblp.uni-trier.de/db/conf/cav/cav2007.html#BloemCPRT07 %V 4590 %@ 978-3-540-73367-6

@inproceedings{conf/cav/BloemCPRT07, added-at = {2020-06-15T00:00:00.000+0200}, author = {Bloem, Roderick and Cavada, Roberto and Pill, Ingo and Roveri, Marco and Tchaltsev, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/257dc3160a64dbd85f5acc898e5f72ea8/dblp}, booktitle = {CAV}, crossref = {conf/cav/2007}, editor = {Damm, Werner and Hermanns, Holger}, ee = {https://doi.org/10.1007/978-3-540-73368-3_30}, interhash = {6c3953a1a26fbc13d74f50a2e75c723a}, intrahash = {57dc3160a64dbd85f5acc898e5f72ea8}, isbn = {978-3-540-73367-6}, keywords = {dblp}, pages = {263-267}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:32.000+0200}, title = {RAT: A Tool for the Formal Analysis of Requirements.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2007.html#BloemCPRT07}, volume = 4590, year = 2007 }