Understanding Video Streaming Algorithms in the Wild

von Licciardello, Melissa
Veröffentlicht in PAM (21. : 2020 : Online) Passive and active measurement (2020)

A Model-Checked I²C Specification

von Humbel, Lukas
Veröffentlicht in SPIN (27. : 2021 : Online) Model Checking Software (2021)