TY  - UNPB
UR  - http://eprints.imtlucca.it/2310/
A1  - Caires, Luis
A1  - Torres Vieira, Hugo 
PB  - Departamento de Informática - Universidade nova de Lisboa
TI  - Spatial logic model checker user?s guide : version 1.15
ID  - eprints2310
M1  - technical_report
Y1  - 2009///
AV  - none
ER  -