Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu. An Event-B Interpretation for SPARDL Model. In Taghi M. Khoshgoftaar, editor, 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011. pages 41-48, IEEE Computer Society, 2011. [doi]
@inproceedings{LiWZPQG11,
title = {An Event-B Interpretation for SPARDL Model},
author = {Jianwen Li and Zheng Wang and Yongxin Zhao and Geguang Pu and Yanxia Qi and Bin Gu},
year = {2011},
doi = {10.1109/HASE.2011.27},
url = {http://doi.ieeecomputersociety.org/10.1109/HASE.2011.27},
researchr = {https://researchr.org/publication/LiWZPQG11},
cites = {0},
citedby = {0},
pages = {41-48},
booktitle = {13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011},
editor = {Taghi M. Khoshgoftaar},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-0107-7},
}