Author:
Kamali Mojgan,Fehnker Ansgar
Publisher
Springer International Publishing
Reference22 articles.
1. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
2. Lecture Notes in Computer Science;G Behrmann,2004
3. Bhargavan, K., Obradovic, D., Gunter, C.A.: Formal verification of standards for distance vector routing protocols. J. ACM 49(4), 538–576 (2002)
4. Chaudhary, K., Fehnker, A., Mehta, V.: Modelling, verification, and comparative performance analysis of the B.A.T.M.A.N. protocol. In: Hermanns, H., Höfner, P. (eds.) MARS 2017, vol. 244, pp. 53–65 (2017)
5. Clausen, T., Jacquet, P.: Optimized link state routing protocol (OLSR). RFC3626 (2003). http://www.ietf.org/rfc/rfc3626
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Probabilistic Model Checking of AODV;Quantitative Evaluation of Systems;2020