Showing 1 - 2 results of 2 for search 'Ribeiro, Marcelo Alves', query time: 0.09s Refine Results
  1. 1
    Méthodes formelles pour la vérification probabiliste de propriétés de sécurité de protocoles cryptographiques
    by Ribeiro, Marcelo Alves
    Published 2011
    Get full text
    Dissertation
  2. 2
    Méthodes formelles pour la vérification probabiliste de propriétés de sécurité de protocoles cryptographiques
    by Ribeiro, Marcelo Alves
    Published 2011
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search