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.

Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models

Mathias Soeken, Robert Wille, Rolf Drechsler. Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models. In Martin Gogolla, Burkhart Wolff, editors, Tests and Proofs - 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings. Volume 6706 of Lecture Notes in Computer Science, pages 152-170, Springer, 2011. [doi]

Authors

Mathias Soeken

This author has not been identified. Look up 'Mathias Soeken' in Google

Robert Wille

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

Rolf Drechsler

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