Abstract interpretation based verification of temporal properties for BioAmbients (Q989287)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Abstract interpretation based verification of temporal properties for BioAmbients
scientific article

    Statements

    Abstract interpretation based verification of temporal properties for BioAmbients (English)
    0 references
    0 references
    0 references
    19 August 2010
    0 references
    Mobile Ambients and BioAmbients calculus
    0 references
    abstract interpretation
    0 references
    verification of temporal properties
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers