The Timer Cascade: Functional Modelling and Real Time Calculi.

Raymond T. Boute, Andreas Schfer

Browse the full ICTAC paper archive.