Login / Signup
A Formal Model for Work Flows.
Christian Leuxner
Wassiou Sitou
Bernd Spanfelner
Published in:
SEFM (2010)
Keyphrases
</>
formal model
formal models
predicate calculus
anomaly detection