Jessie Xu

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Amir Pnueli, Jessie Xu, Lenore D. Zuck
Liveness with (0, 1, infty)-Counter Abstraction. CAV (2002)