Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking
['Yoshiaki TAKATA', 'Ryoma SENDA', 'Hiroyuki SEKI']
/
IEICE Transactions in Information and Systems
/ Vol. 105
/ No. 9
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？