Skip to content
cs-conference-ranking.org

My 27-year Quest to Overcome the State Explosion Problem.

Edmund M. Clarke

VenueA*LICS
Year2009
ProceedingsLICS
DBLP recordconf/lics/Clarke09 ↗

Browse the full LICS paper archive.