Publikation

Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models

Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille

In: International Conference on Tests & Proofs - Proceedings. International Conference on Tests & Proofs (TAP-14) 8th July 24-25 York United Kingdom 2014.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence