Verifying Compliance of Process Compositions Through Certification of its Components.

Silvano Colombo Tosatto, Guido Governatori, Nick van Beest

Browse the full EDOC paper archive.