Skip to content
cs-conference-ranking.org

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

Amir Pnueli, Jessie Xu, Lenore D. Zuck

VenueA*CAV
Year2002
ProceedingsCAV
DBLP recordconf/cav/PnueliXZ02 ↗

Browse the full CAV paper archive.