%A Hugo  Torres Vieira
%A Luis Caires
%D 2004
%L eprints2290
%I  Departamento de Inform?tica - Universidade nova de Lisboa
%T The spatial logic model checker user's manual: version 0.9
%N 03