Reference : Trio2Promela: a Model Checker for Temporal Metric Specifications
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/8472
Trio2Promela: a Model Checker for Temporal Metric Specifications
English
Bianculli, Domenico mailto [Università della Svizzera italiana]
Morzenti, Angelo [> >]
Pradella, Matteo [> >]
San Pietro, Pierluigi []
Spoletini, Paola [> >]
2007
ICSE 2007 Companion: Companion of the proceedings of the 29th International Conference on Software Engineering
IEEE Computer Society Press
61-62
Yes
No
International
29th International Conference on Software Engineering
May 2007
http://hdl.handle.net/10993/8472
10.1109/ICSECOMPANION.2007.79

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
bmpss-icse07demo.pdfAuthor postprint82.35 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.