scientific article; zbMATH DE number 7324389
From MaRDI portal
Publication:5854737
zbMath1457.68166arXiv1202.3500MaRDI QIDQ5854737
Publication date: 17 March 2021
Full work available at URL: https://arxiv.org/abs/1202.3500
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication:
