@inproceedings{Esparza08Approximative, author = {Javier Esparza and Thomas Gawlitza and Stefan Kiefer and Helmut Seidl}, title = {Approximative {M}ethods for {M}onotone {S}ystems of {M}in-{M}ax-{P}olynomial {E}quations}, booktitle = {Automata, Languages and Programming(1)Tack A: Algorithms, Automata, Complexity,and Games}, editor = {Luca Aceto and Ivan Damg\{aa}rd and Leslie Ann Goldberg and Magn\'us M. Halld\'orsson and Anna Ing\'olfsd\'ottir and Igor Walukiewicz}, month = {July}, year = 2008, pages = {698-710}, series = {Lecture Notes in Computer Science}, volume = {5125}, publisher = {Springer}, address = {Reykjavik, Iceland}, }