scientific article; zbMATH DE number 4128416
From MaRDI portal
Publication:4207600
zbMATH Open0688.68070MaRDI QIDQ4207600
Publication date: 1989
Title of this publication is not available (Why is that?)
Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)
Related Items (1)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4207600)