Rodríguez, Dilia
44  Ergebnisse:
Personensuche X
?
1

Combining Techniques to Reduce State Space and Prove Strong..:

Rodríguez, Dilia E.
Electronic Notes in Theoretical Computer Science.  238 (2009)  3 - p. 267-280 , 2009
 
?
2

On Modelling Sensor Networks in Maude:

Rodríguez, Dilia E.
Electronic Notes in Theoretical Computer Science.  176 (2007)  4 - p. 199-213 , 2007
 
?
3

A Secret-Sharing Protocol Modelled in Maude:

Rodríguez, Dilia E.
Electronic Notes in Theoretical Computer Science.  71 (2004)  - p. 223-239 , 2004
 
?
4

Case Studies in the Specification and Analysis of Protocols..:

E. Rodríguez, Dilia
Electronic Notes in Theoretical Computer Science.  36 (2000)  - p. 257-273 , 2000
 
?
5

Variabilidad genética del germoplasma de algunas especies d..:

Medina, Ada ; Ramis, Catalina ; Rodríguez, Dilia.
http://saber.ucv.ve/ojs/index.php/rev_agro/article/view/10841/10573.  , 2016
 
?
 
?
9

Diseño de herramienta informativa para el sistema globalmen..:

Mariño Parra, Diana Carolina ; Torres Rodríguez, Dilia Stephany ; Pabón Romero, Jeimmy Carolina
D., H. (2022 en Mexico ). Procedimiento para la aplicación del sistema globalmente armonizado en la identificación de materiales peligrosos en Mexico BUAP. Obtenido de https://repositorioinstitucional.buap.mx/handle/20.500.12371/16335.  , 2023
 
?
10

Changes in thigh muscle during hospital stay in critically ..:

Rodríguez-Pinto, Dilia Mireya ; Pereira-Paternina, Fernando José ; Figueroa-Hurtado, Yoani Alvan.
https://revistanutricionclinicametabolismo.org/index.php/nutricionclinicametabolismo/article/view/370/793.  , 2023
 
?
11

LuMinAves: cooperative research and mitigation of light pol..:

Atchoi, Elizabeth ; Rodríguez, Airam ; Pipa, Tânia...
International Journal of Sustainable Lighting.  23 (2021)  1 - p. 33-41 , 2021
 
1-15