High-level modelling and efficiency analysis of randomized protocols

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