TY  - UNPB
Y1  - 2005/03//
UR  - http://citi.di.fct.unl.pt/publication/techreport.php?id=3
A1  - Torres Vieira, Hugo 
A1  - Caires, Luis
A1  - Viegas, Rubens
M1  - technical_report
PB  - Departamento de Informática - Universidade nova de Lisboa
EP  - 24
ID  - eprints2291
TI  - The spatial logic model checker user's manual: version 1.0
AV  - none
ER  -