Vol-1700⫷ Vol-1701 ⫸Vol-1702
urn:nbn:de:0074-1701-0


Vol-1701/paper15⫷Vol-1701/paper16⫸Vol-1701/paper17
Christoph CzepaHuy Tran (disambiguation)Uwe ZdunErhard WeissChristoph RuhsamThanh Thi Kim Tran

Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract)