scientific article
From MaRDI portal
Publication:3792219
zbMath0647.68015MaRDI QIDQ3792219
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Cellular automata (computational aspects) (68Q80) Theory of operating systems (68N25)
Related Items
This page was built for publication: