%0 Report
%9 Technical Report
%A Caires, Luis
%A Torres Vieira, Hugo 
%D 2009
%F eprints:2310
%I Universidade nova de Lisboa
%N 04
%T Spatial logic model checker user’s guide : version 1.15
%U http://eprints.imtlucca.it/2310/