scientific article; zbMATH DE number 1499083

zbMATH Open0964.03529MaRDI QIDQ4501136FDOQ4501136

Authors: S. A. Berezin, Nikolay V. Shilov 

Publication date: 3 September 2000

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

Recommendations

• scientific article; zbMATH DE number 1432245
• Symbolic model checking for real-time systems
• Model-checking timed temporal logics
• On model checking for the \(\mu\)-calculus and its fragments

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

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)