@inproceedings{KrcalYi:CTA:CAV:2006,
    Address = {Berlin, Heidelberg},
    Author = {Krcal, Pavel and Yi, Wang},
    BookTitle = {Proc. of CAV'06},
    File = {Communicating timed automata the more synchronous, the more difficult to verify - Krcal, Yi (0) (0) - a - a - e.pdf},
    ISBN = {3-540-37406-X, 978-3-540-37406-0},
    Keywords = {timed automata and communicating automata and clock difference relation},
    Location = {Seattle, WA},
    Pages = {249--262},
    Publisher = {Springer-Verlag},
    Series = {LNCS},
    Title = {Communicating timed automata: the more synchronous, the more difficult to verify},
    URL = {http://dx.doi.org/10.1007/11817963\_24},
    Year = {2006},
    acmid = {2135943},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11817963\_24},
    date-added = {2012-03-05 11:45:53 +0100},
    date-modified = {2015-03-26 20:08:28 +0000},
    file-2 = {Communicating timed automata the more synchronous, the more difficult to verify - Krcal, Yi (1) (0) - a - a - e.pdf},
    numpages = {14},
    doi = {10.1007/11817963_24}
}

@inproceedings{KrcalYi:CTA:CAV:2006, Address = {Berlin, Heidelberg}, Author = {Krcal, Pavel and Yi, Wang}, BookTitle = {Proc. of CAV'06}, File = {Communicating timed automata the more synchronous, the more difficult to verify - Krcal, Yi (0) (0) - a - a - e.pdf}, ISBN = {3-540-37406-X, 978-3-540-37406-0}, Keywords = {timed automata and communicating automata and clock difference relation}, Location = {Seattle, WA}, Pages = {249--262}, Publisher = {Springer-Verlag}, Series = {LNCS}, Title = {Communicating timed automata: the more synchronous, the more difficult to verify}, URL = {http://dx.doi.org/10.1007/11817963_24}, Year = {2006}, acmid = {2135943}, bdsk-url-1 = {http://dx.doi.org/10.1007/11817963_24}, date-added = {2012-03-05 11:45:53 +0100}, date-modified = {2015-03-26 20:08:28 +0000}, file-2 = {Communicating timed automata the more synchronous, the more difficult to verify - Krcal, Yi (1) (0) - a - a - e.pdf}, numpages = {14}, doi = {10.1007/11817963_24} }