scientific article; zbMATH DE number 1304384
From MaRDI portal
Publication:4251123
zbMath0928.68049MaRDI QIDQ4251123
Friedrich W. von Henke, E. Canver
Publication date: 9 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (1)
This page was built for publication: