@chapter{AlurFixHenzinger,
    Author = {Alur, Rajeev and Fix, Limor and Henzinger, Thomas A.},
    BookTitle = {Computer Aided Verification},
    File = {A determinizable class of timed automata - Alur, Fix, Henzinger (0) (0) - a - a - j.pdf},
    Keywords = {timed automata},
    Pages = {1--13},
    Series = {Lecture Notes in Computer Science},
    Title = {A determinizable class of timed automata},
    Volume = {818},
    Year = {1994},
    bdsk-url-1 = {http://www.springerlink.com/content/7w12705261177411/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-58179-0\_39},
    date-added = {2012-05-28 11:01:35 +0200},
    date-modified = {2012-05-28 09:09:18 +0000},
    doi = {10.1007/3-540-58179-0_39}
}

@chapter{AlurFixHenzinger, Author = {Alur, Rajeev and Fix, Limor and Henzinger, Thomas A.}, BookTitle = {Computer Aided Verification}, File = {A determinizable class of timed automata - Alur, Fix, Henzinger (0) (0) - a - a - j.pdf}, Keywords = {timed automata}, Pages = {1--13}, Series = {Lecture Notes in Computer Science}, Title = {A determinizable class of timed automata}, Volume = {818}, Year = {1994}, bdsk-url-1 = {http://www.springerlink.com/content/7w12705261177411/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-58179-0_39}, date-added = {2012-05-28 11:01:35 +0200}, date-modified = {2012-05-28 09:09:18 +0000}, doi = {10.1007/3-540-58179-0_39} }