Model checking CTL over restricted classes of automatic structures

DOI10.1007/978-3-319-67089-8_7zbMath1478.68162OpenAlexW2747365929MaRDI QIDQ1685784

Norbert Hundeshagen, Martin Lange

Publication date: 20 December 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-67089-8_7

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Model checking CTL over restricted classes of automatic structures