 | 2008 |
|---|
| 5 |       | Josef Berger,
Dirk Pattinson,
Peter Schuster,
Júlia Zappe:
Editorial: Math. Log. Quart. 1/2008.
Math. Log. Q. 54(1): 4 (2008) |
| 2006 |
|---|
| 4 | | Peter Schuster,
Júlia Zappe:
Do Noetherian Modules Have Noetherian Basis Functions?.
CiE 2006: 481-489 |
| 3 | | Alexander Knapp,
Stephan Merz,
Martin Wirsing,
Júlia Zappe:
Specification and refinement of mobile systems in MTLA and mobile UML.
Theor. Comput. Sci. 351(2): 184-202 (2006) |
| 2003 |
|---|
| 2 | | Stephan Merz,
Martin Wirsing,
Júlia Zappe:
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems.
FASE 2003: 87-101 |
| 2001 |
|---|
| 1 | | Júlia Zappe:
Modal µ-Calculus and Alternating Tree Automata.
Automata, Logics, and Infinite Games 2001: 171-184 |
