scientific article
From MaRDI portal
Publication:3972532
zbMath0746.68030MaRDI QIDQ3972532
Marco Danelutto, Andrea Masini
Publication date: 25 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication:
