@incollection{couvreur:05,
    Author = {Couvreur, Jean-Michel},
    BookTitle = {Implementation and Application of Automata},
    Editor = {Domaratzki, Michael and Okhotin, Alexander and Salomaa, Kai and Yu, Sheng},
    File = {A BDD-Like Implementation of an Automata Package - Couvreur (0) (0) - a - a - l.pdf},
    ISBN = {978-3-540-24318-2},
    Keywords = {automata theory},
    Pages = {310-311},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {A BDD-Like Implementation of an Automata Package},
    URL = {http://dx.doi.org/10.1007/978-3-540-30500-2\_30},
    Volume = {3317},
    Year = {2005},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-30500-2\_30},
    date-added = {2012-11-20 18:21:20 +0000},
    date-modified = {2012-11-22 09:39:05 +0000},
    doi = {10.1007/978-3-540-30500-2_30}
}

@incollection{couvreur:05, Author = {Couvreur, Jean-Michel}, BookTitle = {Implementation and Application of Automata}, Editor = {Domaratzki, Michael and Okhotin, Alexander and Salomaa, Kai and Yu, Sheng}, File = {A BDD-Like Implementation of an Automata Package - Couvreur (0) (0) - a - a - l.pdf}, ISBN = {978-3-540-24318-2}, Keywords = {automata theory}, Pages = {310-311}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {A BDD-Like Implementation of an Automata Package}, URL = {http://dx.doi.org/10.1007/978-3-540-30500-2_30}, Volume = {3317}, Year = {2005}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-30500-2_30}, date-added = {2012-11-20 18:21:20 +0000}, date-modified = {2012-11-22 09:39:05 +0000}, doi = {10.1007/978-3-540-30500-2_30} }