Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach

Open in new window