Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach
['Renyan Feng', 'Erman Acar', 'Yisong Wang', 'Wanwei Liu', 'Stefan Schlobach', 'Weiping Ding']
/
Information Sciences
/ Vol. 616
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？