Torres Vieira, Hugo and Caires, Luis The spatial logic model checker user's manual: version 0.9. Technical Report #03/2004 Departamento de Informática - Universidade nova de Lisboa (Unpublished)
Full text not available from this repository.
Official URL: http://citi.di.fct.unl.pt/publication/techreport.p...
| Item Type: | Working Paper (Technical Report) |
|---|---|
| Projects: | EU project FET IST-2001-33100 Profundis |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Hugo Vieria |
| Date Deposited: | 07 Oct 2014 13:16 |
| Last Modified: | 08 Apr 2015 10:37 |
| URI: | http://eprints.imtlucca.it/id/eprint/2290 |
Actions (login required)
 |
Edit Item |
