Fakulta informačních technologií VUT v Brně

Detail ocenění

The Best Paper award of CADE-27

Rok: 2019

Úroveň
mezinárodní
Kategorie
výzkum a vývoj
URL
Osoby
Popis
Cena za nejlepší článek na konferenci CADE-27, a to konkrétně za článek Automata Terms in a Lazy WSkS Decision Procedure (V. Havlena, L. Holík, O. Lengál, T. Vojnar).
Nahoru