Live and let die: LSC-based verification of UML models.

BIB
Damm, Werner and Westphal, Bernd
01 / 2005
article
117-159
55