Aly Farahat, Ali Ebnenasir. A Lightweight Method for Automated Design of Convergence in Network Protocols. TAAS, 7(4):38, 2012. [doi]
@article{FarahatE12, title = {A Lightweight Method for Automated Design of Convergence in Network Protocols}, author = {Aly Farahat and Ali Ebnenasir}, year = {2012}, doi = {10.1145/2382570.2382574}, url = {http://doi.acm.org/10.1145/2382570.2382574}, researchr = {https://researchr.org/publication/FarahatE12}, cites = {0}, citedby = {0}, journal = {TAAS}, volume = {7}, number = {4}, pages = {38}, }