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