@string{sttt="Software Tools for Technology Transfer"} @Article{FPPZ06, author = {Y. Fang and N. Piterman and A. Pnueli and L. Zuck}, title = {Liveness with Invisible Ranking}, journal = sttt, year = {2006}, volume = {8}, number = {3}, pages = {261-279}, url = {2006/FPPZ06.html}, pdf = {2006/FPPZ06.pdf}, keywords = {Model Checking}, }