@inproceedings{ClementeHerbreteauStainerSutre:FOSSACS13,
Author = {Clemente, Lorenzo and Herbreteau, Fr{\'e}d{\'e}ric and Stainer, Amelie and Sutre, Gr{\'e}goire},
BookTitle = {Proc. of FOSSACS'13},
Editor = {Pfenning, Frank},
File = {Reachability of Communicating Timed Processes - Clemente, Herbreteau, Stainer, Sutre (0) (1) - a - a - q.pdf},
ISBN = {978-3-642-37074-8},
Keywords = {communicating automata and timed automata},
Pages = {810--96},
Publisher = {Springer},
Series = {LNCS},
Title = {Reachability of Communicating Timed Processes},
URL = {http://dx.doi.org/10.1007/978-3-642-37075-5\_6},
Volume = {7794},
Year = {2013},
bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-37075-5\_6},
date-added = {2013-02-26 09:43:39 +0000},
date-modified = {2019-04-20 19:43:23 +0200},
file-2 = {Reachability of Communicating Timed Processes - Clemente, Herbreteau, Stainer, Sutre (1) (0) - a - a - q.pdf},
doi = {10.1007/978-3-642-37075-5_6}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A