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 Analysis with FAMVal to Speed Up Simulation-based Model Checking

Stefan Leye, Orianne Mazemondet, Adelinde M. Uhrmacher. Parallel Analysis with FAMVal to Speed Up Simulation-based Model Checking. In Fourth UKSim European Symposium on Computer Modeling and Simulation, EMS 2010, Pisa, Italy, November 17-19, 2010. pages 344-350, IEEE Computer Society, 2010. [doi]

Authors

Stefan Leye

This author has not been identified. Look up 'Stefan Leye' in Google

Orianne Mazemondet

This author has not been identified. Look up 'Orianne Mazemondet' in Google

Adelinde M. Uhrmacher

This author has not been identified. Look up 'Adelinde M. Uhrmacher' in Google
runs on