scientific article; zbMATH DE number 1499083

zbMATH Open0964.03529MaRDI QIDQ4501136FDOQ4501136

S. A. Berezin, Nikolay V. Shilov

Publication date: 3 September 2000

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cited In (1)

• Program schemata vs. automata for decidability of program logics

   Recommendations

• Title not available (Why is that?) 👍 👎
• Symbolic model checking for real-time systems 👍 👎
• Model-checking Timed Temporal Logics 👍 👎
• On model checking for the \(\mu\)-calculus and its fragments 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501136)