Equivalence-checking on infinite-state systems: Techniques and results (Q5476389)

From MaRDI portal
Revision as of 14:07, 11 February 2024 by RedirectionBot (talk | contribs) (‎Removed claims)
scientific article; zbMATH DE number 5041261
Language Label Description Also known as
English
Equivalence-checking on infinite-state systems: Techniques and results
scientific article; zbMATH DE number 5041261

    Statements

    Equivalence-checking on infinite-state systems: Techniques and results (English)
    0 references
    14 July 2006
    0 references
    behavioral equivalences
    0 references
    infinite-state systems
    0 references

    Identifiers