Caires, Luis and Torres Vieira, Hugo Spatial logic model checker user’s guide : version 1.15. Technical Report #04/2009 Departamento de Informática - Universidade nova de Lisboa (Unpublished)
Full text not available from this repository.
Related URLs
| Item Type: | Working Paper (Technical Report) |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Hugo Vieria |
| Date Deposited: | 09 Oct 2014 11:45 |
| Last Modified: | 08 Apr 2015 10:37 |
| URI: | http://eprints.imtlucca.it/id/eprint/2310 |
Actions (login required)
 |
Edit Item |
