@InProceedings{ becker.ea:parallelization:2007, author = {Bernd Becker and Jochen Eisinger and Felix Klaedtke}, booktitle = {1st Workshop on Omega Automata (OMEGA'07)}, language = {USenglish}, title = {Parallelization of Decision Procedures for Automatic Structures}, year = 2007, user = {felixkl} }