scientific article; zbMATH DE number 3631954

From MaRDI portal

Revision as of 12:59, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4192995

Jump to:navigation, search

zbMath0406.68059MaRDI QIDQ4192995

Peter Padawitz

Publication date: 1979

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Parallelism and concurrency of graph manipulations

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4192995&oldid=18035533"