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.

Towards a Model-Checker for Counter Systems

Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen. Towards a Model-Checker for Counter Systems. In Susanne Graf, Wenhui Zhang, editors, Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Volume 4218 of Lecture Notes in Computer Science, pages 493-507, Springer, 2006. [doi]

Authors

Stéphane Demri

This author has not been identified. Look up 'Stéphane Demri' in Google

Alain Finkel

This author has not been identified. Look up 'Alain Finkel' in Google

Valentin Goranko

This author has not been identified. Look up 'Valentin Goranko' in Google

Govert van Drimmelen

This author has not been identified. Look up 'Govert van Drimmelen' in Google
runs on