Yunja Choi. Safety Analysis of Trampoline OS Using Model Checking: An Experience Report. In Tadashi Dohi, Bojan Cukic, editors, IEEE 22nd International Symposium on Software Reliability Engineering, ISSRE 2011, Hiroshima, Japan, November 29 - December 2, 2011. pages 200-209, IEEE, 2011. [doi]
@inproceedings{Choi11-6,
title = {Safety Analysis of Trampoline OS Using Model Checking: An Experience Report},
author = {Yunja Choi},
year = {2011},
doi = {10.1109/ISSRE.2011.22},
url = {http://doi.ieeecomputersociety.org/10.1109/ISSRE.2011.22},
researchr = {https://researchr.org/publication/Choi11-6},
cites = {0},
citedby = {0},
pages = {200-209},
booktitle = {IEEE 22nd International Symposium on Software Reliability Engineering, ISSRE 2011, Hiroshima, Japan, November 29 - December 2, 2011},
editor = {Tadashi Dohi and Bojan Cukic},
publisher = {IEEE},
isbn = {978-1-4577-2060-4},
}