%0 Journal Article %1 journals/cys/PimentelM08 %A Pimentel, Juan Carlos López %A Monroy, Raúl %D 2008 %J Computación y Sistemas %K dblp %N 1 %T Formal Support to Security Protocol Development: A Survey. %U http://dblp.uni-trier.de/db/journals/cys/cys12.html#PimentelM08 %V 12

@article{journals/cys/PimentelM08, added-at = {2021-02-11T00:00:00.000+0100}, author = {Pimentel, Juan Carlos López and Monroy, Raúl}, biburl = {https://www.bibsonomy.org/bibtex/271396c4cf43b4d77cd4e4300089ec680/dblp}, ee = {http://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/1190}, interhash = {b5758d82dd00d3af352749846143d879}, intrahash = {71396c4cf43b4d77cd4e4300089ec680}, journal = {Computación y Sistemas}, keywords = {dblp}, number = 1, timestamp = {2024-04-08T19:03:43.000+0200}, title = {Formal Support to Security Protocol Development: A Survey.}, url = {http://dblp.uni-trier.de/db/journals/cys/cys12.html#PimentelM08}, volume = 12, year = 2008 }