@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"} @string{springer="© Springer-Verlag"} @InProceedings{JP06, author = {S. Juvekar and N. Piterman}, title = {Minimizing Generalized Buchi Automata}, booktitle = {18th Conference on Computer Aided Verification}, pages = {45-58}, year = 2006, volume = {4144}, series = lncs, publisher = springer, pdf = {2006/JP06.pdf}, url = {2006/JP06.html}, keywords = {Automata,Games}, }