@chapter{Tripakis,
    Author = {Tripakis, Stavros},
    BookTitle = {Formal Modeling and Analysis of Timed Systems},
    File = {Folk Theorems on the Determinization and Minimization of Timed Automata - Tripakis (0) (1) - a - a - l.pdf},
    Keywords = {timed automata},
    Pages = {182--188},
    Series = {Lecture Notes in Computer Science},
    Title = {Folk Theorems on the Determinization and Minimization of Timed Automata},
    Volume = {2791},
    Year = {2004},
    bdsk-url-1 = {http://www.springerlink.com/content/6cmbrfdc9lld91r2/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-40903-8\_15},
    date-added = {2012-03-14 07:56:03 +0100},
    date-modified = {2012-03-14 06:56:16 +0000},
    doi = {10.1007/978-3-540-40903-8_15}
}

@chapter{Tripakis, Author = {Tripakis, Stavros}, BookTitle = {Formal Modeling and Analysis of Timed Systems}, File = {Folk Theorems on the Determinization and Minimization of Timed Automata - Tripakis (0) (1) - a - a - l.pdf}, Keywords = {timed automata}, Pages = {182--188}, Series = {Lecture Notes in Computer Science}, Title = {Folk Theorems on the Determinization and Minimization of Timed Automata}, Volume = {2791}, Year = {2004}, bdsk-url-1 = {http://www.springerlink.com/content/6cmbrfdc9lld91r2/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-40903-8_15}, date-added = {2012-03-14 07:56:03 +0100}, date-modified = {2012-03-14 06:56:16 +0000}, doi = {10.1007/978-3-540-40903-8_15} }