Model checking mobile stochastic logic (Q995465)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model checking mobile stochastic logic
scientific article

    Statements

    Model checking mobile stochastic logic (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    3 September 2007
    0 references
    Stochastic process algebra
    0 references
    Mobility
    0 references
    Global computing
    0 references
    Stochastic logics
    0 references
    Stochastic model-checking
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers