Vol-1559⫷ Vol-1560 ⫸Vol-1561
urn:nbn:de:0074-1560-0


Vol-1560/paper2⫷Vol-1560/paper3⫸Vol-1560/paper4

UmpleRun: a Dynamic Analysis Tool for Textually Modeled State Machines using Umple