Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking
['Nao IGAWA', 'Tomoyuki YOKOGAWA', 'Sousuke AMASAKI', 'Masafumi KONDO', 'Yoichir ...']
/
IEICE Transactions in Information and Systems
/ Vol. 103
/ No. 3
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？