%0 Conference Paper %1 conf/icse/BianculliMPPS07 %A Bianculli, Domenico %A Morzenti, Angelo %A Pradella, Matteo %A Pietro, Pierluigi San %A Spoletini, Paola %B ICSE Companion %D 2007 %I IEEE Computer Society %K %P 61-62 %T Trio2Promela: A Model Checker for Temporal Metric Specifications. %U http://dblp.uni-trier.de/db/conf/icse/icsec2007.html#BianculliMPPS07

@inproceedings{conf/icse/BianculliMPPS07, added-at = {2023-12-12T18:57:22.000+0100}, author = {Bianculli, Domenico and Morzenti, Angelo and Pradella, Matteo and Pietro, Pierluigi San and Spoletini, Paola}, biburl = {https://www.bibsonomy.org/bibtex/2368c3d3509ec026d0f7c17e6ba7464db/admin}, booktitle = {ICSE Companion}, crossref = {conf/icse/2007c}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.79}, interhash = {19a6bcd75ca2916a7e6f27643b0b56c7}, intrahash = {368c3d3509ec026d0f7c17e6ba7464db}, keywords = {}, pages = {61-62}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T18:57:22.000+0100}, title = {Trio2Promela: A Model Checker for Temporal Metric Specifications.}, url = {http://dblp.uni-trier.de/db/conf/icse/icsec2007.html#BianculliMPPS07}, year = 2007 }