Dieu-Huong Vu, Toshiaki Aoki. Faithfully formalizing OSEK/VDX operating system specification. In Eric Castelli, Khanh Tran Duc, Chi Mai Luong, Viet Tran, editors, Symposium on Information and Communication Technology 2012, SoICT '12, Halong City, Quang Ninh , Viet Nam, August 23-24, 2012. pages 13-20, ACM, 2012. [doi]
@inproceedings{VuA12-1,
title = {Faithfully formalizing OSEK/VDX operating system specification},
author = {Dieu-Huong Vu and Toshiaki Aoki},
year = {2012},
doi = {10.1145/2350716.2350721},
url = {http://doi.acm.org/10.1145/2350716.2350721},
researchr = {https://researchr.org/publication/VuA12-1},
cites = {0},
citedby = {0},
pages = {13-20},
booktitle = {Symposium on Information and Communication Technology 2012, SoICT '12, Halong City, Quang Ninh , Viet Nam, August 23-24, 2012},
editor = {Eric Castelli and Khanh Tran Duc and Chi Mai Luong and Viet Tran},
publisher = {ACM},
isbn = {978-1-4503-1232-5},
}