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.

Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems

Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari. Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. In Frank Ortmeier, Peter Daniel, editors, Computer Safety, Reliability, and Security - SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings. Volume 7613 of Lecture Notes in Computer Science, pages 409-416, Springer, 2012. [doi]

Authors

Orlando Ferrante

This author has not been identified. Look up 'Orlando Ferrante' in Google

Luca Benvenuti

This author has not been identified. Look up 'Luca Benvenuti' in Google

Leonardo Mangeruca

This author has not been identified. Look up 'Leonardo Mangeruca' in Google

Christos Sofronis

This author has not been identified. Look up 'Christos Sofronis' in Google

Alberto Ferrari

This author has not been identified. Look up 'Alberto Ferrari' in Google
runs on