| |
| 2007 | ||
|---|---|---|
| 3 | EE | Dilia E. Rodriguez: On Modelling Sensor Networks in Maude. Electr. Notes Theor. Comput. Sci. 176(4): 199-213 (2007) |
| 2002 | ||
| 2 | EE | Dilia E. Rodriguez: A Secret-Sharing Protocol Modelled in Maude. Electr. Notes Theor. Comput. Sci. 71: (2002) |
| 2000 | ||
| 1 | EE | Dilia E. Rodriguez: Case Studies in the Specification and Analysis of Protocols in Maude. Electr. Notes Theor. Comput. Sci. 36: (2000) |