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

@inproceedings{pub7381,
    author = {

Hilken, Frank
 and 

Niemann, Philipp
 and 

Gogolla, Martin
 and 

Wille, Robert
},
    title = {Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models},
    booktitle = {International Conference on Tests & Proofs - Proceedings. International Conference on Tests & Proofs (TAP-14), 8th, July 24-25, York, United Kingdom},
    year = {2014}
}