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 Systems and Specifications with Parameterized Atomic Propositions

Orna Grumberg, Orna Kupferman, Sarai Sheinvald. Model Checking Systems and Specifications with Parameterized Atomic Propositions. In Supratik Chakraborty, Madhavan Mukund, editors, Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Volume 7561 of Lecture Notes in Computer Science, pages 122-136, Springer, 2012. [doi]

Authors

Orna Grumberg

This author has not been identified. Look up 'Orna Grumberg' in Google

Orna Kupferman

This author has not been identified. Look up 'Orna Kupferman' in Google

Sarai Sheinvald

This author has not been identified. Look up 'Sarai Sheinvald' in Google
runs on