Trio2Promela: a Model Checker for Temporal Metric Specifications

Reference : Trio2Promela: a Model Checker for Temporal Metric Specifications


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/8472

Title :	Trio2Promela: a Model Checker for Temporal Metric Specifications
Language :	English
Author, co-author :	Bianculli, Domenico [Università della Svizzera italiana]
	Morzenti, Angelo [> >]
	Pradella, Matteo [> >]
	San Pietro, Pierluigi []
	Spoletini, Paola [> >]
Publication date :	2007
Main document title :	ICSE 2007 Companion: Companion of the proceedings of the 29th International Conference on Software Engineering
Publisher :	IEEE Computer Society Press
Pages :	61-62
Peer reviewed :	Yes
On invitation :	No
Audience :	International
Event name :	29th International Conference on Software Engineering
Event date :	May 2007
Permalink :	http://hdl.handle.net/10993/8472
DOI :	10.1109/ICSECOMPANION.2007.79

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	bmpss-icse07demo.pdf		Author postprint	82.35 kB	Request a copy

All documents in ORBi^lu are protected by a user license.