Heterogeneous Timed Machines.

Benot Delahaye, Jos Luiz Fiadeiro, Axel Legay, Antnia Lopes

Browse the full ICTAC paper archive.