Showing 1 - 2 results of 2 for search 'Hubert Garavel', query time: 0.02s Refine Results
  1. 1
    Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm

    Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm by Hubert Garavel, Lina Marsso

    Published 2018-03-01
    Get full text
    Article
  2. 2
    The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark

    The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark by Hubert Garavel, Wendelin Serwe

    Published 2017-03-01
    Get full text
    Article

Search Tools: