Gabriel Ciobanu, K. N. Sridhar. Specifications and Verification of Network Protocols by Process Algebra. In Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania. pages 250-258, IEEE Computer Society, 2005. [doi]
@inproceedings{CiobanuS05,
title = {Specifications and Verification of Network Protocols by Process Algebra},
author = {Gabriel Ciobanu and K. N. Sridhar},
year = {2005},
doi = {10.1109/SYNASC.2005.68},
url = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2005.68},
tags = {protocol, process algebra, algebraic specification, algebra},
researchr = {https://researchr.org/publication/CiobanuS05},
cites = {0},
citedby = {0},
pages = {250-258},
booktitle = {Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania},
publisher = {IEEE Computer Society},
isbn = {0-7695-2453-2},
}