@inproceedings{Jenkins:2010:ATA:1906484.1906722,
    Address = {Washington, DC, USA},
    Author = {Jenkins, Mark and Ouaknine, Joel and Rabinovich, Alexander and Worrell, James},
    BookTitle = {Proc. of LICS'10},
    File = {Alternating Timed Automata over Bounded Time - Jenkins, Ouaknine, Rabinovich, Worrell (0) (1) - a - a - j.pdf},
    ISBN = {978-0-7695-4114-3},
    Keywords = {alternating automata and timed automata},
    Pages = {60--69},
    Publisher = {IEEE Computer Society},
    Series = {LICS '10},
    Title = {Alternating Timed Automata over Bounded Time},
    URL = {http://dx.doi.org/10.1109/LICS.2010.45},
    Year = {2010},
    acmid = {1906722},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2010.45},
    date-added = {2012-11-28 16:47:46 +0000},
    date-modified = {2020-10-21 15:20:13 +0200},
    numpages = {10},
    doi = {10.1109/LICS.2010.45}
}

@inproceedings{Jenkins:2010:ATA:1906484.1906722, Address = {Washington, DC, USA}, Author = {Jenkins, Mark and Ouaknine, Joel and Rabinovich, Alexander and Worrell, James}, BookTitle = {Proc. of LICS'10}, File = {Alternating Timed Automata over Bounded Time - Jenkins, Ouaknine, Rabinovich, Worrell (0) (1) - a - a - j.pdf}, ISBN = {978-0-7695-4114-3}, Keywords = {alternating automata and timed automata}, Pages = {60--69}, Publisher = {IEEE Computer Society}, Series = {LICS '10}, Title = {Alternating Timed Automata over Bounded Time}, URL = {http://dx.doi.org/10.1109/LICS.2010.45}, Year = {2010}, acmid = {1906722}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2010.45}, date-added = {2012-11-28 16:47:46 +0000}, date-modified = {2020-10-21 15:20:13 +0200}, numpages = {10}, doi = {10.1109/LICS.2010.45} }