External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Trio2Promela: A Model Checker for Temporal Metric Specifications

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]

Authors

Domenico Bianculli

This author has not been identified. Look up 'Domenico Bianculli' in Google

Angelo Morzenti

This author has not been identified. Look up 'Angelo Morzenti' in Google

Matteo Pradella

This author has not been identified. Look up 'Matteo Pradella' in Google

Pierluigi San Pietro

This author has not been identified. Look up 'Pierluigi San Pietro' in Google

Paola Spoletini

This author has not been identified. Look up 'Paola Spoletini' in Google
runs on