Skip to content
cs-conference-ranking.org

A Progress Measure for Explicit-State Probabilistic Model-Checkers.

Xin Zhang, Franck van Breugel

VenueA*ICALP
Year2011
ProceedingsICALP (2)
DBLP recordconf/icalp/ZhangB11 ↗

Browse the full ICALP paper archive.