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.

Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems

Can Arda Muftuoglu, Péter Bokor, Neeraj Suri. Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems. In Andréa W. Richa, Christian Scheideler, editors, Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings. Volume 7596 of Lecture Notes in Computer Science, pages 183-186, Springer, 2012. [doi]

Authors

Can Arda Muftuoglu

This author has not been identified. Look up 'Can Arda Muftuoglu' in Google

Péter Bokor

This author has not been identified. Look up 'Péter Bokor' in Google

Neeraj Suri

This author has not been identified. Look up 'Neeraj Suri' in Google
runs on