Liveness with (0, 1, infty)-Counter Abstraction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Amir Pnueli, Jessie Xu, Lenore D. Zuck. Liveness with (0, 1, infty)-Counter Abstraction. In Ed Brinksma, Kim Guldstrand Larsen, editors, Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings. Volume 2404 of Lecture Notes in Computer Science, pages 107-122, Springer, 2002. [doi]

Identified as Amir Pnueli This author has not been identified. Look up 'Jessie Xu' in GoogleThis author has not been identified. Look up 'Lenore D. Zuck' in Google

runs on WebDSL