%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 dblp %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-03-23T00:00:00.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/dblp}, booktitle = {ICSE Companion}, crossref = {conf/icse/2007c}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.79}, interhash = {19a6bcd75ca2916a7e6f27643b0b56c7}, intrahash = {368c3d3509ec026d0f7c17e6ba7464db}, keywords = {dblp}, pages = {61-62}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T15:42:18.000+0200}, title = {Trio2Promela: A Model Checker for Temporal Metric Specifications.}, url = {http://dblp.uni-trier.de/db/conf/icse/icsec2007.html#BianculliMPPS07}, year = 2007 }