Júlia Zappe

Publication Activity (10 Years)

Years Active: 2001-2008
Publications (10 Years): 0

Ludwig Maximilian University of Munich, Germany (PHD)

Education History

Ludwig Maximilian University of Munich, Germany

PHD

Publications

Josef Berger, Dirk Pattinson, Peter Schuster, Júlia Zappe
Editorial: Math. Log. Quart. 1/2008. Math. Log. Q. 54 (1) (2008)
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) (2006)
Peter Schuster, Júlia Zappe
Do Noetherian Modules Have Noetherian Basis Functions?. CiE (2006)
Stephan Merz, Martin Wirsing, Júlia Zappe
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. FASE (2003)
Júlia Zappe
Modal µ-Calculus and Alternating Tree Automata. Automata, Logics, and Infinite Games (2001)