Domain-Specific Language Facilitates Scheduling in Model Checking.

Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki

Browse the full APSEC paper archive.