Parallel Model Checking on Pushdown Systems | IEEE Conference Publication | IEEE Xplore