Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki. Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies. IEICE Transactions, 102-D(7):1280-1295, 2019. [doi]
@article{TranCA19,
title = {Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies},
author = {Nhat-Hoa Tran and Yuki Chiba and Toshiaki Aoki},
year = {2019},
url = {http://search.ieice.org/bin/summary.php?id=e102-d_7_1280},
researchr = {https://researchr.org/publication/TranCA19},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {102-D},
number = {7},
pages = {1280-1295},
}