Kamal Barakat, Stefan Kowalewski. Modeling and verification of network protocol specs using timed pi-calculus. In 4th International Congress on Ultra Modern Telecommunications and Control Systems, ICUMT 2012, St. Petersburg, Russia, October 3-5, 2012. pages 884-891, IEEE, 2012. [doi]
@inproceedings{BarakatK12,
title = {Modeling and verification of network protocol specs using timed pi-calculus},
author = {Kamal Barakat and Stefan Kowalewski},
year = {2012},
doi = {10.1109/ICUMT.2012.6459786},
url = {http://dx.doi.org/10.1109/ICUMT.2012.6459786},
researchr = {https://researchr.org/publication/BarakatK12},
cites = {0},
citedby = {0},
pages = {884-891},
booktitle = {4th International Congress on Ultra Modern Telecommunications and Control Systems, ICUMT 2012, St. Petersburg, Russia, October 3-5, 2012},
publisher = {IEEE},
isbn = {978-1-4673-2016-0},
}