Showing 1 - 3 results of 3 for search 'Ansgar Fehnker', query time: 0.02s Refine Results
  1. 1
    Evaluating the Stream Control Transmission Protocol Using Uppaal

    Evaluating the Stream Control Transmission Protocol Using Uppaal by Shruti Saini, Ansgar Fehnker

    Published 2017-03-01
    Get full text
    Article
  2. 2
    Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol

    Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol by Kaylash Chaudhary, Ansgar Fehnker, Vinay Mehta

    Published 2017-03-01
    Get full text
    Article
  3. 3
    Modeling and Verification of the Bitcoin Protocol

    Modeling and Verification of the Bitcoin Protocol by Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Marielle Stoelinga

    Published 2015-11-01
    Get full text
    Article

Search Tools: