Showing 1 - 2 results of 2 for search 'Wendelin Serwe', query time: 0.03s Refine Results
  1. 1
    Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard
    by Wendelin Serwe
    Published 2015-11-01
    Get full text
    Article
  2. 2
    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: Get RSS Feed — Email this Search