@chapter{HenzingerKopkeWong-Toi,
    Author = {Henzinger, Thomas A. and Kopke, Peter W. and Wong-Toi, Howard},
    BookTitle = {Automata, Languages and Programming},
    File = {The expressive power of clocks - Henzinger, Kopke, Wong-Toi (0) (0) - a - a - u.pdf},
    Keywords = {timed automata},
    Pages = {417--428},
    Series = {Lecture Notes in Computer Science},
    Title = {The expressive power of clocks},
    Volume = {944},
    Year = {1995},
    bdsk-url-1 = {http://www.springerlink.com/content/f378117276621r24/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-60084-1\_93},
    date-added = {2012-07-04 14:58:42 +0200},
    date-modified = {2012-07-04 12:59:00 +0000},
    file-2 = {The expressive power of clocks - Henzinger, Kopke, Wong-Toi (1) (0) - a - a - u.pdf},
    doi = {10.1007/3-540-60084-1_93}
}

@chapter{HenzingerKopkeWong-Toi, Author = {Henzinger, Thomas A. and Kopke, Peter W. and Wong-Toi, Howard}, BookTitle = {Automata, Languages and Programming}, File = {The expressive power of clocks - Henzinger, Kopke, Wong-Toi (0) (0) - a - a - u.pdf}, Keywords = {timed automata}, Pages = {417--428}, Series = {Lecture Notes in Computer Science}, Title = {The expressive power of clocks}, Volume = {944}, Year = {1995}, bdsk-url-1 = {http://www.springerlink.com/content/f378117276621r24/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/3-540-60084-1_93}, date-added = {2012-07-04 14:58:42 +0200}, date-modified = {2012-07-04 12:59:00 +0000}, file-2 = {The expressive power of clocks - Henzinger, Kopke, Wong-Toi (1) (0) - a - a - u.pdf}, doi = {10.1007/3-540-60084-1_93} }