Incremental Witness Generation for Branching-Time Logic CTL*
['Xiangyu Luo', 'Sen Liang', 'Lixiao Zheng', 'Zuxi Chen', 'Fan Yang']
/
IEEE Transactions on Reliability
/ Vol. 71
/ No. 2
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？