Duration calculus

Descrição: A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-ti... Veja mais