Discover

Document type
- Objeto de conferencia (3)
Date Issued
- 2005 (3)
- 2000 - 2009 (3)
Subject
- Ciencias Informaticas (3)
Author
Keyword

Search

Results/page

5
10
20
40
60
80
100

Sort items by

in order

Search Results for Community: CACIC

Now showing items 1-3 of 3

1

Objeto de conferencia

XI Congreso Argentino de Ciencias de la Computación

2005

Verificación de propiedades temporales de diseños community: un caso de estudio

Aguirre, Nazareno Matías; Regis, Germán
Objeto de conferencia

XI Congreso Argentino de Ciencias de la Computación

2005

Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden

Mac Donnell, Patricio; Aguirre, Nazareno Matías
Objeto de conferencia

XI Congreso Argentino de Ciencias de la Computación

2005

Hacia la composición paralela de programas en DynAlloy

Aguirre, Nazareno Matías; Novaira, Maria Marta; Permigiani, Sonia

Now showing items 1-3 of 3

1

Results/page

5
10
20
40
60
80
100

Sort items by

in order