Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies
['Nhat-Hoa TRAN', 'Yuki CHIBA', 'Toshiaki AOKI']
/
IEICE Transactions in Information and Systems
/ Vol. 102
/ No. 7
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？