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).

Nahoru