Verifying Networks of Timed Processes (Extended Abstract).

Parosh Aziz Abdulla, Bengt Jonsson

Browse the full TACAS paper archive.