eprintid: 2310
rev_number: 9
eprint_status: archive
userid: 59
dir: disk0/00/00/23/10
datestamp: 2014-10-09 11:45:31
lastmod: 2015-04-08 10:37:32
status_changed: 2014-10-09 11:45:31
type: monograph
metadata_visibility: show
creators_name: Caires, Luis
creators_name: Torres Vieira, Hugo 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
title: Spatial logic model checker user’s guide : version 1.15
ispublished: unpub
subjects: QA75
divisions: CSA
full_text_status: none
monograph_type: technical_report
date: 2009
date_type: published
number: 04
publisher: Departamento de Informática - Universidade nova de Lisboa
institution: Universidade nova de Lisboa
related_url_url: http://ctp.di.fct.unl.pt/SLMC/
citation:   Caires, Luis and Torres Vieira, Hugo   Spatial logic model checker user’s guide : version 1.15.  Technical Report  #04/2009    Departamento de Informática - Universidade nova de Lisboa       (Unpublished)