A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata
['Yoshiaki TAKATA', 'Akira ONISHI', 'Ryoma SENDA', 'Hiroyuki SEKI']
/
IEICE Transactions in Information and Systems
/ Vol. 106
/ No. 3
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？