%0 Conference Proceedings
%D 2010
%T Proceedings ICE 2010
%A Simon Bliudze
%A Roberto Bruni
%A Davide Grohmann
%A Alexandra Silva
%I ArXiv
%S EPTCS
%V 38