Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks (Q3510864): Difference between revisions

@@ Property / author @@
-Lars Michael Kristensen
@@ Property / author: Lars Michael Kristensen / rank @@
-Normal rank
@@ Property / author @@
+Lars Michael Kristensen
@@ Property / author: Lars Michael Kristensen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL/SPIN
@@ Property / describes a project that uses: HOL/SPIN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-68746-7_13
+Normal rank
@@ Property / OpenAlex ID @@
+W1549371619
@@ Property / OpenAlex ID: W1549371619 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of standards for distance vector routing protocols
+Normal rank
@@ Property / cites work @@
+Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems – FORTE 2004
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3510864