Sign in

Verification of Quantitative Temporal Compliance Requirements in Process Descriptions Over Event Logs.

Marisol BarrientosKarolin WinterJuergen ManglerStefanie Rinderle-Ma
Published in: CAiSE (2023)
Keyphrases
  • event logs
  • process mining
  • process model
  • temporal reasoning
  • databases
  • web services
  • expert systems
  • end users
  • software engineering
  • user interaction
  • temporal information
  • temporal constraints