{Ob16,
AUTHOR = {Oberhauser, Jonas},
TITLE = {Order Reduction for Interruptible Multi-Core Operating Systems},
YEAR = {2016},
BOOKTITLE = {8th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'16)},
EDITOR = {Chechik, M. and Blazy, S.},
}