infinite state systems / prefix-recognizable systems / non-elementary algorithm / pushdown systems / finite-state systems / infinite-state systems / model checking infinite-state systems / /
OperatingSystem
Xp / /
Organization
European Union / Association for Symbolic Logic / /
Person
CARSTEN LUTZ / STEFAN GOLLER / MARKUS LOHREY / /
Position
author / MODEL / second author / /
ProgrammingLanguage
C / XML / K / /
Technology
XML / dom / simulation / non-elementary algorithm / /
The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 PDL WITH INTERSECTION AND CONVERSE: SATISFIABILITY AND INFINITE-STATE MODEL CHECKING