scientific article

zbMath0472.68033MaRDI QIDQ3925884

Miklos Szijarto

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Theory of traces, Probabilistic estimation of the number of prefixes of a trace