Publication
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.