@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}
}

@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} }