Search results for: Júlia Zappe
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Mobile Computing > 87-101
Lecture Notes in Computer Science > Automata Logics, and Infinite Games > Modal μ-Calculus > 171-184
Theoretical Computer Science > 2006 > 351 > 2 > 184-202