Award Details

Best Paper award of CADE-27

Year: 2019

Level

international

Category

research and development

URL

http://www.cadeinc.org/Best-Paper-Award

Persons

Havlena Vojtěch, Ing., Ph.D.
Holík Lukáš, doc. Mgr., Ph.D.
Lengál Ondřej, Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D.

Description

The Best Paper award of CADE-27 for the paper Automata Terms in a Lazy WSkS Decision Procedure (V. Havlena, L. Holik, O. Lengal, T. Vojnar).