Daniel Bristot de Oliveira, Tommaso Cucinotta, Rômulo Silva de Oliveira. Modeling the behavior of threads in the PREEMPT_RT Linux kernel using automata. SIGBED Review, 16(3):63-68, 2019. [doi]
@article{OliveiraCO19-0,
title = {Modeling the behavior of threads in the PREEMPT_RT Linux kernel using automata},
author = {Daniel Bristot de Oliveira and Tommaso Cucinotta and Rômulo Silva de Oliveira},
year = {2019},
doi = {10.1145/3373400.3373410},
url = {https://doi.org/10.1145/3373400.3373410},
researchr = {https://researchr.org/publication/OliveiraCO19-0},
cites = {0},
citedby = {0},
journal = {SIGBED Review},
volume = {16},
number = {3},
pages = {63-68},
}