Checking Correctness and Compliance of Integrated Process Models.

Ren Wrzberger, Thomas Kurpick, Thomas Heer

Browse the full SYNASC paper archive.