%0 Journal Article %1 journals/jsjkx/LiuZQ15 %A Liu, Yanqing %A Zhao, Lingzhong %A Qian, Junyan %D 2015 %J 计算机科学 %K dblp %N 10 %P 244-250 %T 基于Petri网的CSP并发系统验证技术研究 (Verification of Concurrent CSP Systems Based on Petri Net). %U http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx42.html#LiuZQ15 %V 42

@article{journals/jsjkx/LiuZQ15, added-at = {2020-04-27T00:00:00.000+0200}, author = {Liu, Yanqing and Zhao, Lingzhong and Qian, Junyan}, biburl = {https://www.bibsonomy.org/bibtex/23bb0cebc611aaccc6b7934a745b91efc/dblp}, ee = {http://www.jsjkx.com/EN/Y2015/V42/I10/244}, interhash = {88e11ce7694b748ddb462fa87ce78a4a}, intrahash = {3bb0cebc611aaccc6b7934a745b91efc}, journal = {计算机科学}, keywords = {dblp}, number = 10, pages = {244-250}, timestamp = {2020-04-28T12:16:05.000+0200}, title = {基于Petri网的CSP并发系统验证技术研究 (Verification of Concurrent CSP Systems Based on Petri Net).}, url = {http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx42.html#LiuZQ15}, volume = 42, year = 2015 }