Logo eprints

Items where Author is "Viegas, Rubens"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: Ca | To | Vi
Number of items: 3.

Ca

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)

To

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)

Vi

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)

This list was generated on Tue Apr 16 10:22:13 2024 CEST.