Liveness with Incomprehensible Ranking. Fang, Y., Piterman, N., Pnueli, A., & Zuck, L. In 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 2988, of <A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>, pages 482-496, Bercelona, Spain, March, 2004. &copy; Springer-Verlag.
Liveness with Incomprehensible Ranking [pdf]Paper  bibtex   

Downloads: 0