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