research
∙
09/27/2018
Multi-Scale Verification of Distributed Synchronisation
Algorithms for the synchronisation of clocks across networks are both co...
share
research
∙
05/15/2018
Accelerated Model Checking of Parametric Markov Chains
Parametric Markov chains occur quite naturally in various applications: ...
research
∙
04/05/2018
