@InProceedings{Bradley+others/05/Polyranking, author = {Aaron R. Bradley and Zohar Manna and Henny B. Sipma}, title = {The Polyranking Principle}, booktitle = {Proc. 32^{nd} International Colloquium on Automata, Languages and Programming}, year = 2005, series = {Lecture Notes in Computer Science}, publisher = {Springer Verlag}, volume = 3580, pages = {1349--1361} editor = {Luís Caires and Giuseppe F. Italiano and Luís Monteiro and Catuscia Palamidessi and Moti Yung} }