@inproceedings{Seidl08Analysing, author = {Helmut Seidl and Andrea Flexeder and Michael Petter}, title = {Analysing {A}ll {P}olynomial {E}quations in ${\mathbb {Z}_{2^w}}$}, booktitle = {Static Analysis}, editor = {Mar\'ia Alpuente and Germ\'an Vidal}, month = {July}, year = 2008, pages = {299-314}, series = {Lecture Notes in Computer Science}, volume = {5079}, publisher = {Springer}, doi = {10.1007/978-3-540-69166-2_20}, address = {Valencia, Spain}, }