@inproceedings{conf/icse/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},
	booktitle = {ICSE Companion},
	crossref = {conf/icse/2007c},
	pages = {61-62},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/icse/icsec2007.html#BianculliMPPS07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2368c3d3509ec026d0f7c17e6ba7464db/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.79}, date = {2007-06-12},
	keywords = {dblp }
}