Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini. Trio2Promela: A Model Checker for Temporal Metric Specifications. In 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume. pages 61-62, IEEE Computer Society, 2007. [doi]
@inproceedings{BianculliMPPS07,
title = {Trio2Promela: A Model Checker for Temporal Metric Specifications},
author = {Domenico Bianculli and Angelo Morzenti and Matteo Pradella and Pierluigi San Pietro and Paola Spoletini},
year = {2007},
doi = {10.1109/ICSECOMPANION.2007.79},
url = {http://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.79},
researchr = {https://researchr.org/publication/BianculliMPPS07},
cites = {0},
citedby = {0},
pages = {61-62},
booktitle = {29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume},
publisher = {IEEE Computer Society},
}