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


Vol-1612/preface⫷Vol-1612/paper1⫸Vol-1612/paper2

Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic