Muhammad Shahzad, Saira Zahid, Muddassar Farooq. A Scalable Formal Framework for Analyzing the Behavior of Nature-Inspired Routing Protocols. In Günter Rudolph, Thomas Jansen, Simon M. Lucas, Carlo Poloni, Nicola Beume, editors, Parallel Problem Solving from Nature - PPSN X, 10th International Conference Dortmund, Germany, September 13-17, 2008, Proceedings. Volume 5199 of Lecture Notes in Computer Science, pages 1130-1139, Springer, 2008. [doi]
@inproceedings{ShahzadZF08, title = {A Scalable Formal Framework for Analyzing the Behavior of Nature-Inspired Routing Protocols}, author = {Muhammad Shahzad and Saira Zahid and Muddassar Farooq}, year = {2008}, doi = {10.1007/978-3-540-87700-4_112}, url = {http://dx.doi.org/10.1007/978-3-540-87700-4_112}, tags = {protocol, routing}, researchr = {https://researchr.org/publication/ShahzadZF08}, cites = {0}, citedby = {0}, pages = {1130-1139}, booktitle = {Parallel Problem Solving from Nature - PPSN X, 10th International Conference Dortmund, Germany, September 13-17, 2008, Proceedings}, editor = {Günter Rudolph and Thomas Jansen and Simon M. Lucas and Carlo Poloni and Nicola Beume}, volume = {5199}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-87699-1}, }