@chapter{PandyaShah,
    Author = {Pandya, Paritosh K. and Shah, Simoni S.},
    BookTitle = {Formal Modeling and Analysis of Timed Systems},
    File = {Unambiguity in Timed Regular Languages Automata and Logics - Pandya, Shah (0) (0) - a - a - z.pdf},
    Keywords = {unambiguous automata and timed automata},
    Pages = {168--182},
    Series = {Lecture Notes in Computer Science},
    Title = {Unambiguity in Timed Regular Languages: Automata and Logics},
    Volume = {6246},
    Year = {2010},
    bdsk-url-1 = {http://www.springerlink.com/content/1748754283684561/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-15297-9\_14},
    date-added = {2012-07-07 09:50:36 +0200},
    date-modified = {2012-07-07 07:50:51 +0000},
    doi = {10.1007/978-3-642-15297-9_14}
}

@chapter{PandyaShah, Author = {Pandya, Paritosh K. and Shah, Simoni S.}, BookTitle = {Formal Modeling and Analysis of Timed Systems}, File = {Unambiguity in Timed Regular Languages Automata and Logics - Pandya, Shah (0) (0) - a - a - z.pdf}, Keywords = {unambiguous automata and timed automata}, Pages = {168--182}, Series = {Lecture Notes in Computer Science}, Title = {Unambiguity in Timed Regular Languages: Automata and Logics}, Volume = {6246}, Year = {2010}, bdsk-url-1 = {http://www.springerlink.com/content/1748754283684561/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-15297-9_14}, date-added = {2012-07-07 09:50:36 +0200}, date-modified = {2012-07-07 07:50:51 +0000}, doi = {10.1007/978-3-642-15297-9_14} }