eprintid: 2291
rev_number: 7
eprint_status: archive
userid: 59
dir: disk0/00/00/22/91
datestamp: 2014-10-07 13:25:24
lastmod: 2015-04-08 10:37:32
status_changed: 2014-10-07 13:25:24
type: monograph
metadata_visibility: show
creators_name: Torres Vieira, Hugo 
creators_name: Caires, Luis
creators_name: Viegas, Rubens
creators_id: hugo.torresvieira@imtlucca.it
creators_id: 
creators_id: 
title: The spatial logic model checker user's manual: version 1.0
ispublished: unpub
subjects: QA75
divisions: CSA
full_text_status: none
monograph_type: technical_report
date: 2005-03
number: 05
publisher: Departamento de Informática - Universidade nova de Lisboa
pages: 24
institution: Departamento de Informática
official_url: http://citi.di.fct.unl.pt/publication/techreport.php?id=3
citation:   Torres Vieira, Hugo  and Caires, Luis and Viegas, Rubens  The spatial logic model checker user's manual: version 1.0.  Technical Report  #05/2005    Departamento de Informática - Universidade nova de Lisboa       (Unpublished)