Liveness with Invisible Ranking. Fang, Y., Piterman, N., Pnueli, A., & Zuck, L. In 5th International Conference on Verification, Model Checking and Abstract Interpretation, volume 2937, of <A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>, pages 223-238, Venice, Italy, January, 2004. &copy; Springer-Verlag.
Liveness with Invisible Ranking [pdf]Paper  bibtex   

Downloads: 0