CITATION STYLE
DFA for Presburger Arithmetic. (2006). In Computation Engineering (pp. 369–380). Springer US. https://doi.org/10.1007/0-387-32520-4_20
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley