Property Directed Polyhedral Abstraction (Q5172647)

From MaRDI portal
scientific article; zbMATH DE number 6397681
Language Label Description Also known as
English
Property Directed Polyhedral Abstraction
scientific article; zbMATH DE number 6397681

    Statements

    Property Directed Polyhedral Abstraction (English)
    0 references
    0 references
    0 references
    4 February 2015
    0 references
    0 references
    0 references