Symbolic transition graph with assignment (Q6104365)

From MaRDI portal
scientific article; zbMATH DE number 7703583
Language Label Description Also known as
English
Symbolic transition graph with assignment
scientific article; zbMATH DE number 7703583

    Statements

    Identifiers