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


Vol-1701/paper15⫷Vol-1701/paper16⫸Vol-1701/paper17

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