Jean-Michel Couvreur
A BDD-Like Implementation of an Automata Package
CIAA, 2004.
@inproceedings{CIAA-2004-Couvreur, author = "Jean-Michel Couvreur", booktitle = "{Revised Selected Papers of the Ninth International Conference on Implementation and Application of Automata}", doi = "10.1007/978-3-540-30500-2_30", isbn = "3-540-24318-6", pages = "310--311", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A BDD-Like Implementation of an Automata Package}", volume = 3317, year = 2004, }