@inproceedings{LaroussinieMarkeySchnoebelen:CONCUR:2004,
    Author = {Laroussinie, F. and Markey, N. and Schnoebelen, Ph.},
    BookTitle = {Proc. of CONCUR'04},
    File = {Model Checking Timed Automata with One or Two Clocks - Laroussinie, Markey, Schnoebelen (0) (0) - a - a - u.pdf},
    Keywords = {timed automata},
    Pages = {387--401},
    Series = {LNCS},
    Title = {Model Checking Timed Automata with One or Two Clocks},
    Volume = {3170},
    Year = {2004},
    bdsk-url-1 = {http://www.springerlink.com/content/qx8n5pxvc1cneyrh/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-28644-8\_25},
    date-added = {2012-08-10 07:08:31 +0200},
    date-modified = {2019-08-16 12:14:08 +0200},
    doi = {10.1007/978-3-540-28644-8_25}
}

@inproceedings{LaroussinieMarkeySchnoebelen:CONCUR:2004, Author = {Laroussinie, F. and Markey, N. and Schnoebelen, Ph.}, BookTitle = {Proc. of CONCUR'04}, File = {Model Checking Timed Automata with One or Two Clocks - Laroussinie, Markey, Schnoebelen (0) (0) - a - a - u.pdf}, Keywords = {timed automata}, Pages = {387--401}, Series = {LNCS}, Title = {Model Checking Timed Automata with One or Two Clocks}, Volume = {3170}, Year = {2004}, bdsk-url-1 = {http://www.springerlink.com/content/qx8n5pxvc1cneyrh/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-28644-8_25}, date-added = {2012-08-10 07:08:31 +0200}, date-modified = {2019-08-16 12:14:08 +0200}, doi = {10.1007/978-3-540-28644-8_25} }