Muhammad Salman Malik, Robin Berthier, Rakesh B. Bobba, Roy H. Campbell, William H. Sanders. Formal design of communication checkers for ICCP using UPPAAL. In IEEE Fourth International Conference on Smart Grid Communications, SmartGridComm 2013, Vancouver, BC, Canada, October 21-24, 2013. pages 486-491, IEEE, 2013. [doi]
@inproceedings{MalikBBCS13,
title = {Formal design of communication checkers for ICCP using UPPAAL},
author = {Muhammad Salman Malik and Robin Berthier and Rakesh B. Bobba and Roy H. Campbell and William H. Sanders},
year = {2013},
doi = {10.1109/SmartGridComm.2013.6688005},
url = {http://dx.doi.org/10.1109/SmartGridComm.2013.6688005},
researchr = {https://researchr.org/publication/MalikBBCS13},
cites = {0},
citedby = {0},
pages = {486-491},
booktitle = {IEEE Fourth International Conference on Smart Grid Communications, SmartGridComm 2013, Vancouver, BC, Canada, October 21-24, 2013},
publisher = {IEEE},
}