Early detection of temporal constraint violations
From MaRDI portal
Publication:6178450
Cites work
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- A Proof of Kamp's theorem
- A closed-form evaluation for Datalog queries with integer (gap)-order constraints
- Automata-theoretic techniques for modal logics of programs
- Conditional Simple Temporal Networks with Uncertainty and Resources
- Data exchange: semantics and query answering
- From generating process views over inter-organizational business processes to achieving their temporal consistency
- Parametric Trace Slicing and Monitoring
- Quantified event automata: towards expressive and efficient runtime monitors
- Sound-and-complete algorithms for checking the dynamic controllability of conditional simple temporal networks with uncertainty
- Temporal constraint networks
This page was built for publication: Early detection of temporal constraint violations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6178450)