Model Checking MANETs with Arbitrary Mobility (Q2948247)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model Checking MANETs with Arbitrary Mobility
scientific article

    Statements

    Model Checking MANETs with Arbitrary Mobility (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    30 September 2015
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references