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