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.

Automatic Verification of Recursive Procedures with One Integer Parameter

Ahmed Bouajjani, Peter Habermehl, Richard Mayr. Automatic Verification of Recursive Procedures with One Integer Parameter. In Jiri Sgall, Ales Pultr, Petr Kolman, editors, Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings. Volume 2136 of Lecture Notes in Computer Science, pages 198-211, Springer, 2001. [doi]

Authors

Ahmed Bouajjani

This author has not been identified. Look up 'Ahmed Bouajjani' in Google

Peter Habermehl

This author has not been identified. Look up 'Peter Habermehl' in Google

Richard Mayr

This author has not been identified. Look up 'Richard Mayr' in Google
runs on