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.

Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems

Abhik Roychoudhury, C. R. Ramakrishnan. Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. In Maurice Bruynooghe, Kung-Kiu Lau, editors, Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development. Volume 3049 of Lecture Notes in Computer Science, pages 261-290, Springer, 2004. [doi]

Authors

Abhik Roychoudhury

This author has not been identified. Look up 'Abhik Roychoudhury' in Google

C. R. Ramakrishnan

This author has not been identified. Look up 'C. R. Ramakrishnan' in Google
runs on