Vol-1611⫷ Vol-1612 ⫸Vol-1613
urn:nbn:de:0074-1612-0


Vol-1612/preface⫷Vol-1612/paper1⫸Vol-1612/paper2
Christoph CzepaHuy Tran (disambiguation)Uwe ZdunErhard WeissChristoph RuhsamThanh Thi Kim Tran

Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic