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.

QF BV model checking with property directed reachability

Tobias Welp, Andreas Kuehlmann. QF BV model checking with property directed reachability. In Enrico Macii, editor, Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013. pages 791-796, EDA Consortium San Jose, CA, USA / ACM DL, 2013. [doi]

Authors

Tobias Welp

This author has not been identified. Look up 'Tobias Welp' in Google

Andreas Kuehlmann

This author has not been identified. Look up 'Andreas Kuehlmann' in Google
runs on