Patrick LaRoche, Aimee Burrows, A. Nur Zincir-Heywood. How far an evolutionary approach can go for protocol state analysis and discovery. In Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2013, Cancun, Mexico, June 20-23, 2013. pages 3228-3235, IEEE, 2013. [doi]
@inproceedings{LaRocheBZ13,
title = {How far an evolutionary approach can go for protocol state analysis and discovery},
author = {Patrick LaRoche and Aimee Burrows and A. Nur Zincir-Heywood},
year = {2013},
doi = {10.1109/CEC.2013.6557965},
url = {http://dx.doi.org/10.1109/CEC.2013.6557965},
researchr = {https://researchr.org/publication/LaRocheBZ13},
cites = {0},
citedby = {0},
pages = {3228-3235},
booktitle = {Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2013, Cancun, Mexico, June 20-23, 2013},
publisher = {IEEE},
isbn = {978-1-4799-0453-2},
}