CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Publications  \  Technical Report Page Login  
   
banner bottom
File Top
The Spatial Logic Model Checker User's Manual and Tutorial v1.0

URL: http://www-ctp.di.fct.unl.pt/SLMC/manual.pdf

Institution: Departamento de Informática FCT/UNL ( Portugal )

Date: March, 2005


Authors:
File Bottom