scientific article
From MaRDI portal
Publication:3795200
zbMath0649.68022MaRDI QIDQ3795200
Shinichi Honiden, Kazunori Matsumoto, Naoshi Uchihira, H. Nakamura
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Uses Software
This page was built for publication:
