High-level modelling and efficiency analysis of randomized protocols
Aus International Center for Computational Logic
High-level modelling and efficiency analysis of randomized protocols
Frank CiesinskiFrank Ciesinski

Frank Ciesinski
High-level modelling and efficiency analysis of randomized protocols
Phd thesis
High-level modelling and efficiency analysis of randomized protocols
Phd thesis
- Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science
@phdthesis{C2025,
author = {Frank Ciesinski},
title = {High-level modelling and efficiency analysis of randomized protocols},
year = {2025}
}