%0 Thesis %1 phd/es/Galan98 %A Mengual, Luis %D 1998 %K dblp %T Un modelo formal para la especificación, análisis, verificación e implantación de protocolos de seguridad.

@phdthesis{phd/es/Galan98, added-at = {2023-02-16T00:00:00.000+0100}, author = {Mengual, Luis}, biburl = {https://www.bibsonomy.org/bibtex/249ee7eb65081ff9e8f27e8fbc51fc82d/dblp}, ee = {https://oa.upm.es/979/}, interhash = {6845ef207bdfb44696b88a7d69d5c786}, intrahash = {49ee7eb65081ff9e8f27e8fbc51fc82d}, keywords = {dblp}, school = {Technical University of Madrid, Spain}, timestamp = {2024-04-09T09:03:13.000+0200}, title = {Un modelo formal para la especificación, análisis, verificación e implantación de protocolos de seguridad.}, year = 1998 }