Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection
['Yunkai DU', 'Naijie GU', 'Xin ZHOU']
/
IEICE Transactions on Information and Systems
/ Vol. 99
/ No. 12
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？