%A Hugo  Torres Vieira
%A Luis Caires
%A Rubens Viegas
%L eprints2291
%N 05
%T The spatial logic model checker user's manual: version 1.0
%D 2005
%I Departamento de Inform?tica - Universidade nova de Lisboa