|
Budapešť 29.3-6.4.2008 Vybrané publikace
| 2008 | Abdulla Parosh A., Bouajjani Ahmed, Holík Lukáš, Kaati Lisa, Vojnar Tomáš: Computing Simulations over Tree Automata (Efficient Techniques for Reducing Tree Automata), In: Tools and Algorithms for the Construction and Analysis of Systems, Berlin, DE, Springer, 2008, s. 93-108, ISBN 978-3-540-78799-0 |
| | Habermehl Peter, Iosif Radu, Vojnar Tomáš: What else is decidable about integer arrays?, In: Foundations of Software Science and Computation Structures, Berlin, DE, Springer, 2008, s. 475-490, ISBN 978-3-540-78497-5 |
|