Reachability of Communicating Timed Processes.

Lorenzo Clemente, Frdric Herbreteau, Amlie Stainer, Grgoire Sutre

Browse the full FOSSACS paper archive.