Vol-1526⫷ Vol-1527 ⫸Vol-1528
urn:nbn:de:0074-1527-0


Vol-1527/paper14⫷Vol-1527/paper15⫸Vol-1527/paper16
David KuhlenAndreas Speck

Business process analysis by model checking