Detail ocenění
EATCS Award for Best ETAPS Paper 2010
Rok: 2010
Úroveň
mezinárodní
Kategorie
výzkum a vývoj
URL
Osoby
Abdulla Parosh A.
Holík Lukáš, doc. Mgr., Ph.D.
Chen Yu-Fang
Mayr Richard
Vojnar Tomáš, prof. Ing., Ph.D.
Popis
Cena EATCS za nejlepší článek sdružení konferencí ETAPS'10, a to konkrétně za článek P.A. Abdulla, Y.-F. Chen, L. Holik, R. Mayr, and T. Vojnar. When Simulation Meets Antichains (On Checking Language Inclusion of NFAs).