scientific article; zbMATH DE number 1372680
From MaRDI portal
Publication:4703888
zbMath0947.68057MaRDI QIDQ4703888
Yasuyoshi Inagaki, Toshiki Sakabe, Shoji Yuen
Publication date: 1 December 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
