Extracting Symbolic Transitions from TLA$$^{+}$$+ Specifications (Q5881447)

From MaRDI portal
scientific article; zbMATH DE number 7661913
Language Label Description Also known as
English
Extracting Symbolic Transitions from TLA$$^{+}$$+ Specifications
scientific article; zbMATH DE number 7661913

    Statements