scientific article
From MaRDI portal
Publication:3804174
zbMath0656.68026MaRDI QIDQ3804174
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
This page was built for publication: