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

Back to top