Epistemic Cord logic: verifying anonymous routing protocols in Ad Hoc network (Q3639767)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Epistemic Cord logic: verifying anonymous routing protocols in Ad Hoc network |
scientific article |
Statements
Epistemic Cord logic: verifying anonymous routing protocols in Ad Hoc network (English)
0 references
26 October 2009
0 references
