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