Dongming Xiang, GuanJun Liu. Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net. Computers and Artificial Intelligence, 39(1):193-212, 2020. [doi]
@article{XiangL20-0,
title = {Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net},
author = {Dongming Xiang and GuanJun Liu},
year = {2020},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/4909},
researchr = {https://researchr.org/publication/XiangL20-0},
cites = {0},
citedby = {0},
journal = {Computers and Artificial Intelligence},
volume = {39},
number = {1},
pages = {193-212},
}