scientific article; zbMATH DE number 1432328

MaRDI QIDQ4947313zbMATH OpenFDO

Authors S. A. Berezin

Publication date 16 April 2000

zbMATH Keywords

finite process algebramodel with multiple clockssyntax and semantics of \(\mu \)-calculustableau-based model checkingverification of compound processes

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60) Parallel algorithms in computer science (68W10)

Recommendations

• Is your model checker on time? On the complexity of model checking for timed modal logics
• scientific article; zbMATH DE number 1418333
• scientific article; zbMATH DE number 1432245
• scientific article; zbMATH DE number 4180789

Cited in

(3)

• scientific article; zbMATH DE number 4180789 (Why is no real title available?)
• scientific article; zbMATH DE number 1418333 (Why is no real title available?)
• Is your model checker on time? On the complexity of model checking for timed modal 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 Q4947313)