Results 81 to 85 of about 6,371 (85)

Persistência de agrotóxicos utilizados na cultura do milho ao parasitoide Trichogramma pretiosum Riley, 1879 (Hymenoptera: Trichogrammatidae)

Ciencia Rural, 2012
Anderson Dionei Grützmacher, Rafael Antonio Pasini, Pasini Rafael Antonio   +2 more
exaly  

Nuevos Huéspedes e Incidencia Natural de un Parasitoide de Huevos deChlorocoris distinctusSignore (Hemiptera: Pentatomidae) en México

Southwestern Entomologist, 2015
Esteban Rodriguez-Leyva, Omar Franco-Mora, Jorge Manuel Valdéz Carrazco   +2 more
exaly  

Formal Security Analysis of the Authentication Protocol in Smart Cities Using AVISPA

Lecture Notes in Computer Science
Yohan Park, Park Yohan
exaly  

Security Challenges in ECDH: A Formal Validation Using AVISPA and Scyther

Lecture Notes in Networks and Systems
exaly  

A comparative study of security protocols validation tools: HERMES vs. AVISPA

2006
exaly