Process Verification and Synthesis - The Use Case of Commissioning Processes in the Automobile Industry.

Richard Mrasek

Browse the full CaiSE paper archive.