|
|
|
|
Login | Create Account | |||
|
Items where Author is "Mehta, Vinay P." |
||
|
Group by: Item Type | No Grouping Jump to: Book Chapter Number of items: 1. Book ChapterFehnker, Ansgar and Chaudhary, Kaylash C. and Mehta, Vinay P. (2018) An Even Better Approach – Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis. In: NASA Formal Methods. Programming and Software Engineering (part of LNC Series), 10811 . Springer, Switzerland, pp. 164-178. ISBN 978-3-319-77934-8 |