Model-checking discrete duration calculus
From MaRDI portal
Publication:1346770
DOI10.1007/BF01213605zbMath0822.68030MaRDI QIDQ1346770
Publication date: 9 April 1995
Published in: Formal Aspects of Computing (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68T27: Logic in artificial intelligence
Related Items
A Road Map of Interval Temporal Logics and Duration Calculi, A Road Map of Interval Temporal Logics and Duration Calculi, Duration calculus: Logical foundations, A practical approach to model checking duration calculus using Presburger arithmetic, Interval Duration Logic
Cites Work