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.

Implementation and Visualization of a BDD Package in JAVA

Rolf Drechsler, Jochen Römmler. Implementation and Visualization of a BDD Package in JAVA. In Jürgen Ruf, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Tübingen, Germany, February 25-27, 2002. pages 219-228, Shaker, 2002.

Authors

Rolf Drechsler

This author has not been identified. Look up 'Rolf Drechsler' in Google

Jochen Römmler

This author has not been identified. Look up 'Jochen Römmler' in Google
runs on