Multi-Clock Timed Networks.

Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata

Browse the full LICS paper archive.