Kacem Zeroual, M. El Yassini. A protocol synthesis algorithm: a relational approach. In 1995 International Conference on Network Protocols, ICNP 1995, November 7-10, 1995, Tokyo, Japan. pages 58-65, IEEE Computer Society, 1995. [doi]
@inproceedings{ZeroualY95,
title = {A protocol synthesis algorithm: a relational approach},
author = {Kacem Zeroual and M. El Yassini},
year = {1995},
doi = {10.1109/ICNP.1995.524819},
url = {http://doi.ieeecomputersociety.org/10.1109/ICNP.1995.524819},
tags = {protocol, systematic-approach},
researchr = {https://researchr.org/publication/ZeroualY95},
cites = {0},
citedby = {0},
pages = {58-65},
booktitle = {1995 International Conference on Network Protocols, ICNP 1995, November 7-10, 1995, Tokyo, Japan},
publisher = {IEEE Computer Society},
}