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.

Model Checking Mutual Exclusion Algorithms Using Uppaal

Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella. Model Checking Mutual Exclusion Algorithms Using Uppaal. In Radek Silhavy, Roman Senkerik, Zuzana Komínková Oplatková, Petr Silhavy, Zdenka Prokopova, editors, Software Engineering Perspectives and Application in Intelligent Systems - Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2. Volume 465 of Advances in Intelligent Systems and Computing, pages 203-215, Springer, 2016. [doi]

Authors

Franco Cicirelli

This author has not been identified. Look up 'Franco Cicirelli' in Google

Libero Nigro

This author has not been identified. Look up 'Libero Nigro' in Google

Paolo F. Sciammarella

This author has not been identified. Look up 'Paolo F. Sciammarella' in Google
runs on