Title of article

Axiomatisation and decidability of multi-dimensional Duration Calculus

Author/Authors

Andreas Schafer، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2007

Pages

40

From page

25

To page

64

Keywords

real-time systems , mobile systems , Spatial logic , Temporal Logic , Duration calculus

Journal title

Information and Computation

Serial Year

2007

Journal title

Information and Computation

Record number

262385