Detail ocenění
The best paper award of CIAA'08
Rok: 2008
Úroveň
mezinárodní
Kategorie
výzkum a vývoj
URL
Osoby
Abdulla Parosh A.
Bouajjani Ahmed
Holík Lukáš, doc. Mgr., Ph.D.
Kaati Lisa
Vojnar Tomáš, prof. Ing., Ph.D.
Popis
Cena za nejlepší článek konference CIAA'08, a to konkrétně za článek P.A. Abdulla, A. Bouajjani, L. Holik, L. Kaati, and T. Vojnar. Composed Bisimulation for Tree Automata.