Award Details
EATCS Award for Best ETAPS Paper 2010
Year: 2010
Level
international
Category
research and development
URL
Persons
Abdulla Parosh A.
Holík Lukáš, doc. Mgr., Ph.D.
Chen Yu-Fang
Mayr Richard
Vojnar Tomáš, prof. Ing., Ph.D.
Description
The EATCS award for the best theory paper of ETAPS'10 awarded for the paper P.A. Abdulla, Y.-F. Chen, L. Holik, R. Mayr, and T. Vojnar. When Simulation Meets Antichains (On Checking Language Inclusion of NFAs).