Tableau methods for PA-processes (Q4610333)

From MaRDI portal
Revision as of 15:02, 7 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article; zbMATH DE number 7002283
Language Label Description Also known as
English
Tableau methods for PA-processes
scientific article; zbMATH DE number 7002283

    Statements

    Tableau methods for PA-processes (English)
    0 references
    0 references
    15 January 2019
    0 references
    tableau systems
    0 references
    temporal logic
    0 references
    process algebras
    0 references
    PA-processes
    0 references

    Identifiers