relation: http://eprints.imtlucca.it/2290/
title: The spatial logic model checker user's manual: version 0.9
creator: Torres Vieira, Hugo 
creator: Caires, Luis
subject: QA75 Electronic computers. Computer science
publisher:  Departamento de Informática - Universidade nova de Lisboa
date: 2004
type: Working Paper
type: NonPeerReviewed
identifier:   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)   
relation: http://citi.di.fct.unl.pt/publication/techreport.php?id=4