eprintid: 2290
rev_number: 10
eprint_status: archive
userid: 59
dir: disk0/00/00/22/90
datestamp: 2014-10-07 13:16:48
lastmod: 2015-04-08 10:37:32
status_changed: 2014-10-07 13:16:48
type: monograph
metadata_visibility: show
creators_name: Torres Vieira, Hugo 
creators_name: Caires, Luis
creators_id: hugo.torresvieira@imtlucca.it
creators_id: 
title: The spatial logic model checker user's manual: version 0.9
ispublished: unpub
subjects: QA75
divisions: CSA
full_text_status: none
monograph_type: technical_report
date: 2004
date_type: published
number: 03
publisher:  Departamento de Informática - Universidade nova de Lisboa
pages: 14
institution:  Departamento de Informática
official_url: http://citi.di.fct.unl.pt/publication/techreport.php?id=4
projects: EU project FET IST-2001-33100 Profundis
citation:   Torres Vieira, Hugo  and Caires, Luis  The spatial logic model checker user's manual: version 0.9.  Technical Report  #03/2004     Departamento de Informática - Universidade nova de Lisboa       (Unpublished)