Property Directed Equivalence via Abstract Simulation (Q4633561)

From MaRDI portal
scientific article; zbMATH DE number 7050748
Language Label Description Also known as
English
Property Directed Equivalence via Abstract Simulation
scientific article; zbMATH DE number 7050748

    Statements

    Property Directed Equivalence via Abstract Simulation (English)
    0 references
    0 references
    0 references
    0 references
    3 May 2019
    0 references

    Identifiers