Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models
2014 ◽
pp. 99-116
◽
Keyword(s):
2005 ◽
Vol 1
(2)
◽
pp. 147-164
◽