relation: http://eprints.imtlucca.it/2310/
title: Spatial logic model checker user’s guide : version 1.15
creator: Caires, Luis
creator: Torres Vieira, Hugo 
subject: QA75 Electronic computers. Computer science
publisher: Departamento de Informática - Universidade nova de Lisboa
date: 2009
type: Working Paper
type: NonPeerReviewed
identifier:   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)