1. More infinite results;Burkart,1997
2. Model-checking of infinite graphs defined by graph grammars;Burkart,1997
3. The modal mu-calculus alternation hierarchy is strict;Bradfield,1996
4. Model checking for context-free processes;Burkart,1992
5. Composition, decomposition and model-checking of pushdown processes;Burkart;Nordic J. Comput.,1995