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.

Simulation and Verification of Asynchronous Systems by means of a Synchronous Model

Nicolas Halbwachs, Louis Mandel. Simulation and Verification of Asynchronous Systems by means of a Synchronous Model. In Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland. pages 3-14, IEEE Computer Society, 2006. [doi]

Authors

Nicolas Halbwachs

This author has not been identified. Look up 'Nicolas Halbwachs' in Google

Louis Mandel

This author has not been identified. Look up 'Louis Mandel' in Google
runs on