CITATION STYLE
Couvreur, J. M. (2005). A BDD-like implementation of an automata package. In Lecture Notes in Computer Science (Vol. 3317, pp. 310–311). Springer Verlag. https://doi.org/10.1007/978-3-540-30500-2_30
Mendeley helps you to discover research relevant for your work.