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