scientific article; zbMATH DE number 1432245

MaRDI QIDQ4947229zbMATH OpenFDO

Authors S. A. Berezin, Nikolay V. Shilov, P. V. Shneider

Publication date 16 April 2000

zbMATH Keywords

finite-state machineinfinite model with real timemodel-checker prototypemodel-checking proceduresyntax and semantics of Mu-calculus

Mathematics Subject Classification ID

Recommendations

• Polynomial approximations for model checking
• scientific article; zbMATH DE number 1059247
• On model checking for the -calculus and its fragments
• Local model checking in the modal mu-calculus

Cited in

(5)

• Model-checking processes with data
• scientific article; zbMATH DE number 2186291 (Why is no real title available?)
• scientific article; zbMATH DE number 1499083 (Why is no real title available?)
• scientific article; zbMATH DE number 1432328 (Why is no real title available?)
• Polynomial approximations for model checking

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 Q4947229)