%0 Conference Proceedings
%D 2010
%T Short Contributions CMCS 2010
%A Bart Jacobs
%A Milad Niqui
%A Jan Rutten
%A Alexandra Silva
%C Paphos, Cyprus
%I Centrum Wiskunde & Informatica
%P 1–32
%S CWI Technical Report SEN-1004