Toward automated verification of timed business process models using timed-automata networks and temporal properties
['Chanon Dechsupa', 'Wiwat Vatanawood', 'Arthit Thongtak']
/
Information Sciences
/ Vol. 710
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？