High-level modelling and efficiency analysis of randomized protocols
From 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{C2026,
author = {Frank Ciesinski},
title = {High-level modelling and efficiency analysis of randomized protocols},
year = {2026}
}