Vol-251⫷ Vol-252 ⫸Vol-253
urn:nbn:de:0074-252-0


Vol-252/paper-14⫷Vol-252/paper-15⫸Vol-252/paper-16

The Analysis of UML State Machine Formal Checking Methods