Parallel Model Checking on Pushdown Systems.
Hansheng Wei, Xinyu Chen, Xin Ye, Neng Fu, Yanhong Huang, Jianqi Shi
VenueCISPA
Year2018
ProceedingsISPA/IUCC/BDCloud/SocialCom/SustainCom
DBLP recordconf/ispa/WeiCYFHS18 ↗
Browse the full ISPA paper archive.