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.

Debugging Contradictory Constraints in Constraint-Based Random Simulation

Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler. Debugging Contradictory Constraints in Constraint-Based Random Simulation. In Martin Radetzki, editor, Languages for Embedded Systems and their Applications - Selected Contributions on Specification, Design, and Verification from FDL'08, September 23-25, 2008, Stuttgart, Germany. Volume 36 of Lecture Notes in Electrical Engineering, pages 273-290, 2008. [doi]

Authors

Daniel Große

This author has not been identified. Look up 'Daniel Große' in Google

Robert Wille

This author has not been identified. Look up 'Robert Wille' in Google

Robert Siegmund

This author has not been identified. Look up 'Robert Siegmund' in Google

Rolf Drechsler

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