Logo eprints

The spatial logic model checker user's manual: version 1.0

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.
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 Edit Item