High-level modelling and efficiency analysis of randomized protocols

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

High-level modelling and efficiency analysis of randomized protocols

Frank CiesinskiFrank Ciesinski
High-level modelling and efficiency analysis of randomized protocols


Frank Ciesinski
High-level modelling and efficiency analysis of randomized protocols
Phd thesis
@phdthesis{C2025,
  author = {Frank Ciesinski},
  title  = {High-level modelling and efficiency analysis of randomized protocols},
  year   = {2025}
}