External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

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 Concurrent Programs with Nondeterminism and Randomization

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan. Model Checking Concurrent Programs with Nondeterminism and Randomization. In Kamal Lodaya, Meena Mahajan, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India. Volume 8 of LIPIcs, pages 364-375, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. [doi]

Authors

Rohit Chadha

This author has not been identified. Look up 'Rohit Chadha' in Google

A. Prasad Sistla

This author has not been identified. Look up 'A. Prasad Sistla' in Google

Mahesh Viswanathan

This author has not been identified. Look up 'Mahesh Viswanathan' in Google
runs on