%0 Report
%9 Technical Report
%A Torres Vieira, Hugo 
%A Caires, Luis
%D 2004
%F eprints:2290
%I  Departamento de Informática
%N 03
%T The spatial logic model checker user's manual: version 0.9
%U http://eprints.imtlucca.it/2290/