Jessie Xu

According to our database, Jessie Xu authored at least 1 paper in 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2002

Liveness with (0, 1, infty)-Counter Abstraction.

Amir Pnueli, Jessie Xu, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 14th International Conference, 2002