@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"} @string{jan="January"} @string{springer="© Springer-Verlag"} @InProceedings{FPPZ04, author = {Y. Fang and N. Piterman and A. Pnueli and L. Zuck}, title = {Liveness with Invisible Ranking}, booktitle = {5th International Conference on Verification, Model Checking and Abstract Interpretation}, pages = {223-238}, year = {2004}, volume = {2937}, series = lncs, address = {Venice, Italy}, month = jan, publisher = springer, url = {2004/FPPZ04.html}, pdf = {2004/FPPZ04.pdf}, keywords = {Model Checking}, }