Login / Signup
Compositional Modeling and Verification of Workflow Processes.
Marc Voorhoeve
Published in:
Business Process Management (2000)
Keyphrases
</>
grid workflow
workflow processes
constraint satisfaction problems
modeling language
relational databases
management system
model checking