CITATION STYLE
The Automaton/Logic Connection, Symbolic Techniques. (2006). In Computation Engineering (pp. 185–203). Springer US. https://doi.org/10.1007/0-387-32520-4_11
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley