@incollection{latorre:madhusudan:parlato:CSL08,
    Author = {La Torre, Salvatore and Madhusudan, P. and Parlato, Gennaro},
    BookTitle = {Computer Science Logic},
    Editor = {Kaminski, Michael and Martini, Simone},
    File = {An Infinite Automaton Characterization of Double Exponential Time - La Torre, Madhusudan, Parlato (0) (0) - a - a - h.pdf},
    ISBN = {978-3-540-87530-7},
    Pages = {33-48},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {An Infinite Automaton Characterization of Double Exponential Time},
    URL = {http://dx.doi.org/10.1007/978-3-540-87531-4\_5},
    Volume = {5213},
    Year = {2008},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-87531-4\_5},
    date-added = {2013-11-07 13:31:46 +0000},
    date-modified = {2013-11-07 13:31:46 +0000},
    doi = {10.1007/978-3-540-87531-4_5}
}

@incollection{latorre:madhusudan:parlato:CSL08, Author = {La Torre, Salvatore and Madhusudan, P. and Parlato, Gennaro}, BookTitle = {Computer Science Logic}, Editor = {Kaminski, Michael and Martini, Simone}, File = {An Infinite Automaton Characterization of Double Exponential Time - La Torre, Madhusudan, Parlato (0) (0) - a - a - h.pdf}, ISBN = {978-3-540-87530-7}, Pages = {33-48}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {An Infinite Automaton Characterization of Double Exponential Time}, URL = {http://dx.doi.org/10.1007/978-3-540-87531-4_5}, Volume = {5213}, Year = {2008}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-87531-4_5}, date-added = {2013-11-07 13:31:46 +0000}, date-modified = {2013-11-07 13:31:46 +0000}, doi = {10.1007/978-3-540-87531-4_5} }