%A Luis Caires
%A Hugo  Torres Vieira
%N 04
%L eprints2310
%I Departamento de Inform?tica - Universidade nova de Lisboa
%T Spatial logic model checker user?s guide : version 1.15
%D 2009