scientific article; zbMATH DE number 1232239

MaRDI QIDQ4223065zbMATH OpenFDO

Authors Olaf Burkart

Publication date 3 January 1999

zbMATH Keywords

model-checking algorithm

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Parallel algorithms in computer science (68W10)

Cited in

(3)

• Iterating transducers
• Model checking the full modal mu-calculus for infinite sequential processes
• An automata-theoretic approach to infinite-state systems

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