Qiang Ye, Mike H. MacGregor. Using simulation to test formally verified protocols in complex environments. Mathematical and Computer Modelling, 53(3-4):538-551, 2011. [doi]
@article{YeM11,
title = {Using simulation to test formally verified protocols in complex environments},
author = {Qiang Ye and Mike H. MacGregor},
year = {2011},
doi = {10.1016/j.mcm.2010.03.039},
url = {http://dx.doi.org/10.1016/j.mcm.2010.03.039},
tags = {protocol, testing, Meta-Environment},
researchr = {https://researchr.org/publication/YeM11},
cites = {0},
citedby = {0},
journal = {Mathematical and Computer Modelling},
volume = {53},
number = {3-4},
pages = {538-551},
}