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