Franco Veiga, David (2016-11-23)
[ES]Este proyecto tiene por objetivo modelar el funcionamiento de un protocolo de seguridad
llamado EURORADIO. Este protocolo forma parte de la pila de protocolos del
est andard actual del sistema de se~nalizaci on europeo ...