Best Papers Awards
The Best paper award came this year to the following papers:
-
Petr Bauch, Vojtìch Havel, and Jiøí Barnat. LTL Model Checking of LLVM Bitcode with
Symbolic Data
- David Wehner.A New Concept in Advice Complexity of Job Shop Scheduling
Sponsors
