Model Checking UML State Machines and Collaborations
Timm Schäfer, Alexander Knapp, Stephan MerzVolume:
55
Year:
2001
Language:
english
Pages:
13
DOI:
10.1016/s1571-0661(04)00262-2
File:
PDF, 108 KB
english, 2001