L.: Liveness with invisible ranking (2006)

by Y Fang, N Piterman, A Pnueli, Zuck
Venue:Int. J. Softw. Tools Technol. Transf