Xiang, D. and Liu, G. 2020. Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net. Computing and Informatics. 39, 1-2 (Feb. 2020), 193–212. DOI:https://doi.org/10.31577/cai_2020_1-2_193.