Vol-271⫷ Vol-272 ⫸Vol-273
urn:nbn:de:0074-272-0


Vol-272/paper-4⫷Vol-272/paper-5⫸Vol-272/paper-6
Jan Mendling

Combining a Reachability Graph and a Reduction Rule Approach for Verification of EPCs