@inproceedings{OuaknineWorrell:Inclusion:LICS04,
    Address = {Washington, DC, USA},
    Author = {Ouaknine, Joel and Worrell, James},
    BookTitle = {Proc. of LICS'04},
    File = {On the Language Inclusion Problem for Timed Automata Closing a Decidability Gap - Ouaknine, Worrell (0) (0) - a - a - f.pdf},
    ISBN = {0-7695-2192-4},
    Keywords = {timed automata},
    Pages = {54--63},
    Publisher = {IEEE Computer Society},
    Series = {LICS '04},
    Title = {On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap},
    URL = {http://dx.doi.org/10.1109/LICS.2004.30},
    Year = {2004},
    acmid = {1021842},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2004.30},
    date-added = {2013-10-18 14:51:33 +0000},
    date-modified = {2020-06-24 09:36:10 +0200},
    numpages = {10},
    doi = {10.1109/LICS.2004.30}
}

@inproceedings{OuaknineWorrell:Inclusion:LICS04, Address = {Washington, DC, USA}, Author = {Ouaknine, Joel and Worrell, James}, BookTitle = {Proc. of LICS'04}, File = {On the Language Inclusion Problem for Timed Automata Closing a Decidability Gap - Ouaknine, Worrell (0) (0) - a - a - f.pdf}, ISBN = {0-7695-2192-4}, Keywords = {timed automata}, Pages = {54--63}, Publisher = {IEEE Computer Society}, Series = {LICS '04}, Title = {On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap}, URL = {http://dx.doi.org/10.1109/LICS.2004.30}, Year = {2004}, acmid = {1021842}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2004.30}, date-added = {2013-10-18 14:51:33 +0000}, date-modified = {2020-06-24 09:36:10 +0200}, numpages = {10}, doi = {10.1109/LICS.2004.30} }