Vol-240⫷ Vol-241 ⫸Vol-242
urn:nbn:de:0074-241-0


Vol-241/paper-6⫷Vol-241/paper-7⫸Vol-241/paper-8
Daniel FötschElke PulvermüllerWilhelm R. Rossak

Modeling and Verifying Workflow-based Regulations