Login / Signup

A Formal Model for Work Flows.

Christian LeuxnerWassiou SitouBernd Spanfelner
Published in: SEFM (2010)
Keyphrases
  • formal model
  • formal models
  • predicate calculus
  • anomaly detection