scientific article
From MaRDI portal
Publication:4037127
zbMath0773.03013MaRDI QIDQ4037127
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kripke structurebranching time logicmodel checking algorithmreferences to the Boolean variablessubstitutions to Boolean variables
Modal logic (including the logic of norms) (03B45) Reliability, testing and fault tolerance of networks and computer systems (68M15)
This page was built for publication:
