Model checking mobile ad hoc networks (Q2363813): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-016-0254-7
@@ Property / DOI: 10.1007/s10703-016-0254-7 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+AODV
@@ Property / describes a project that uses: AODV / 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/s10703-016-0254-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2500834352
@@ Property / OpenAlex ID: W2500834352 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of standards for distance vector routing protocols
+Normal rank
@@ Property / cites work @@
+Q4551157
@@ Property / cites work: Q4551157 / rank @@
+Normal rank
@@ Property / cites work @@
+A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+An action-based framework for veryfying logical and behavioural properties of concurrent systems
+Normal rank
@@ Property / cites work @@
+A Process Algebra for Wireless Mesh Networks
@@ Property / cites work: A Process Algebra for Wireless Mesh Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling distributed systems.
@@ Property / cites work: Modelling distributed systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2865941
@@ Property / cites work: Q2865941 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational Reasoning on Mobile Ad Hoc Networks
@@ Property / cites work: Equational Reasoning on Mobile Ad Hoc Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of mobile ad hoc networks: an algebraic approach
+Normal rank
@@ Property / cites work @@
+Model Checking MANETs with Arbitrary Mobility
@@ Property / cites work: Model Checking MANETs with Arbitrary Mobility / rank @@
+Normal rank
@@ Property / cites work @@
+A Calculus for Mobile Ad Hoc Networks
@@ Property / cites work: A Calculus for Mobile Ad Hoc Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q3191614
@@ Property / cites work: Q3191614 / rank @@
+Normal rank
@@ Property / cites work @@
+Static analysis of topology-dependent broadcast networks
+Normal rank
@@ Property / cites work @@
+A framework for security analysis of mobile wireless networks
+Normal rank
@@ Property / cites work @@
+A process calculus for mobile ad hoc networks
@@ Property / cites work: A process calculus for mobile ad hoc networks / rank @@
+Normal rank
@@ Property / cites work @@
+ACTLW -- an action-based computation tree logic with unless operator
+Normal rank
@@ Property / cites work @@
+An Observational Theory for Mobile Ad Hoc Networks
+Normal rank
@@ Property / cites work @@
+Q2851331
@@ Property / cites work: Q2851331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681459
@@ Property / cites work: Q4681459 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems – FORTE 2004
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems - FORTE 2005
+Normal rank
@@ Property / cites work @@
+Modeling and efficient verification of wireless ad hoc networks
+Normal rank
@@ Property / DOI @@
+.1007/S10703-016-0254-7
@@ Property / DOI: 10.1007/S10703-016-0254-7 / rank @@
+Normal rank