Login / Signup

Pattern-Based Model Checking for Dynamic Analysis of Workflow Processes with Temporal Constraints.

Yanhua DuWending ZhangWei Tan
Published in: SITIS (2013)
Keyphrases