Title of article :
Axiomatisation and decidability of multi-dimensional Duration Calculus
Author/Authors :
Andreas Schafer، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Keywords :
real-time systems , mobile systems , Spatial logic , Temporal Logic , Duration calculus
Journal title :
Information and Computation
Journal title :
Information and Computation
