Rewriting Approximations for Properties Verification over CCS Specifications (Q2894572)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Rewriting Approximations for Properties Verification over CCS Specifications
scientific article

    Statements

    Rewriting Approximations for Properties Verification over CCS Specifications (English)
    0 references
    0 references
    29 June 2012
    0 references

    Identifiers