![](/img/cover-not-exists.png)
[IEEE AFRICON 2011 - Victoria Falls, Livingstone, Zambia (2011.09.13-2011.09.15)] IEEE Africon '11 - Formal specification and verification of JXTA's Endpoint Routing Protocol
Kala Konga, Yannick L., Djouani, KarimYear:
2011
Language:
english
DOI:
10.1109/afrcon.2011.6072086
File:
PDF, 708 KB
english, 2011