Research output per year
Research output per year
Search results
-
2004
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks
Kristensen, L. M. & Jensen, K., 2004, Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation. Final Report. Ehrig, H., Damm, W., Desel, J., Grosse-Rhode, M., Reif, W., Schneider, E. & Westkämper, E. (eds.). Springer, Vol. 3147. p. 248-269 20 p. (Lecture Notes in Computer Science, Vol. 3147).Research output: Contribution to book/anthology/report/proceeding › Report chapter › Research