WUC: A System for Workflow Specification and Verification.

Dinarle Ortega Amelia Soriano

Published in: ISAS-SCI (1) (2001)

Keyphrases

workflow specification
workflow systems
model checking
case study
optimal solution
search space
access control