Interpolant-Based Transition Relation Approximation (Q5453494)

From MaRDI portal
scientific article; zbMATH DE number 5256509
Language Label Description Also known as
English
Interpolant-Based Transition Relation Approximation
scientific article; zbMATH DE number 5256509

    Statements

    Interpolant-Based Transition Relation Approximation (English)
    0 references
    0 references
    0 references
    1 April 2008
    0 references

    Identifiers