@chapter{AbdullaDeneuxOuaknineWorrell,
    Author = {Abdulla, Parosh Aziz and Deneux, Johann and Ouaknine, Jo{\"e}l and Worrell, James},
    BookTitle = {Automata, Languages and Programming},
    File = {Decidability and Complexity Results for Timed Automata via Channel Machines - Abdulla, Deneux, Ouaknine, Worrell (0) (0) - a - a - k.pdf},
    Keywords = {timed automata},
    Pages = {99},
    Series = {Lecture Notes in Computer Science},
    Title = {Decidability and Complexity Results for Timed Automata via Channel Machines},
    Volume = {3580},
    Year = {2005},
    bdsk-url-1 = {http://www.springerlink.com/content/0bl85jkpvxwradk3/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/11523468\_88},
    date-added = {2012-05-27 00:11:20 +0200},
    date-modified = {2012-05-26 22:11:50 +0000},
    doi = {10.1007/11523468_88}
}

@chapter{AbdullaDeneuxOuaknineWorrell, Author = {Abdulla, Parosh Aziz and Deneux, Johann and Ouaknine, Jo{\"e}l and Worrell, James}, BookTitle = {Automata, Languages and Programming}, File = {Decidability and Complexity Results for Timed Automata via Channel Machines - Abdulla, Deneux, Ouaknine, Worrell (0) (0) - a - a - k.pdf}, Keywords = {timed automata}, Pages = {99}, Series = {Lecture Notes in Computer Science}, Title = {Decidability and Complexity Results for Timed Automata via Channel Machines}, Volume = {3580}, Year = {2005}, bdsk-url-1 = {http://www.springerlink.com/content/0bl85jkpvxwradk3/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/11523468_88}, date-added = {2012-05-27 00:11:20 +0200}, date-modified = {2012-05-26 22:11:50 +0000}, doi = {10.1007/11523468_88} }