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.

Experiments with Multiple Abstraction Heuristics in Symbolic Verification

Kairong Qian, Albert Nymeyer, Steven Susanto. Experiments with Multiple Abstraction Heuristics in Symbolic Verification. In Jean-Daniel Zucker, Lorenza Saitta, editors, Abstraction, Reformulation and Approximation, 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings. Volume 3607 of Lecture Notes in Computer Science, pages 290-304, Springer, 2005. [doi]

Authors

Kairong Qian

This author has not been identified. Look up 'Kairong Qian' in Google

Albert Nymeyer

This author has not been identified. Look up 'Albert Nymeyer' in Google

Steven Susanto

This author has not been identified. Look up 'Steven Susanto' in Google
runs on