Skip to content
cs-conference-ranking.org

Model Checking (k, d)-Markov Chain with ipLTL.

Lianyi Zhang, Qingdi Meng, Guiming Luo

VenueCKSEM
Year2014
ProceedingsKSEM
DBLP recordconf/ksem/ZhangML14 ↗

Browse the full KSEM paper archive.