Symmetry and Completeness in the Analysis of Parameterized Systems (Q5452616)

From MaRDI portal





scientific article; zbMATH DE number 5259443
Language Label Description Also known as
default for all languages
No label defined
    English
    Symmetry and Completeness in the Analysis of Parameterized Systems
    scientific article; zbMATH DE number 5259443

      Statements

      Identifiers