A mixed decision method for duration calculus
DOI10.1093/LOGCOM/10.6.877zbMATH Open0965.03013OpenAlexW2141330622MaRDI QIDQ4528041FDOQ4528041
Authors: Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
Publication date: 29 January 2001
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/cf3d63f54cd82d792d6115909e4ec2e3ab31ad52
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)
Cited In (9)
- A Road Map of Interval Temporal Logics and Duration Calculi
- A general tableau method for propositional interval temporal logics: theory and implementation
- A survey on temporal logics for specifying and verifying real-time systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- STUDY ON LONGER AND SHORTER BOUNDARY DURATION VECTORS WITH ARBITRARY DURATION AND COST VALUES
- A Road Map of Interval Temporal Logics and Duration Calculi
- Decidability of a hybrid duration calculus
- Deciding an Interval Logic with Accumulated Durations
This page was built for publication: A mixed decision method for duration calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4528041)