A Characterization on Necessary Conditions of Realizability for Reactive System Specifications
['Takashi TOMITA', 'Shigeki HAGIHARA', 'Masaya SHIMAKAWA', 'Naoki YONEZAKI']
/
IEICE Transactions in Information and Systems
/ Vol. 105
/ No. 10
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？