Validation of Families of Business Processes
Lecture Notes in Computer Science
Gerd Gröner
Steffen Staab
Dragan Gaševic
Tobias Walter
Florian Heidenreich
Marko Boškovi?