Vol-362⫷ Vol-363 ⫸Vol-364
urn:nbn:de:0074-363-0


Vol-363/paper-7⫷Vol-363/paper-8⫸Vol-363/paper-9

Integrating UML Activity Diagrams with Temporal Logic Expressions