EATCS Award for Best ETAPS Paper 2008 (Thursday, July 17, 2008)

The EATCS Award for the best paper in theoretical Computer Science at the European Joint Conferences on Theory and Practice of Software 2008, ETAPS'08, was awarded to the paper "On Decision Problems for Probabilistic Büchi Automata" by Christel Baier, Nathalie Bertrand and Marcus Größer.

More information your social media marketing partner
European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.