Embedding time granularity in logical specifications of real-time systems.

Angelo Montanari, Elena Ratto, Edoardo Corsetti, Angelo Morzenti

Browse the full ECRTS paper archive.