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