Vol-1297⫷ Vol-1298 ⫸Vol-1299
urn:nbn:de:0074-1298-0


Vol-1298/paper1⫷Vol-1298/paper2⫸Vol-1298/paper3

Security (Hyper-)properties in Workflow Systems: From Specification to Verification