Skip to content

The Ackermann Award 2013.

Anuj Dawar, Thomas A. Henzinger, Damian Niwinski

VenueBCSL
Year2013
ProceedingsCSL

Browse the full CSL paper archive.