Award Details
Best Paper award of CADE-27
Year: 2019
Level
international
Category
research and development
URL
Persons
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).