Torres Vieira, Hugo and Caires, Luis and Viegas, Rubens The spatial logic model checker user's manual: version 1.0. Technical Report #05/2005 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) |
|---|---|
| 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:25 |
| Last Modified: | 08 Apr 2015 10:37 |
| URI: | http://eprints.imtlucca.it/id/eprint/2291 |
Actions (login required)
 |
Edit Item |
