TY  - RPRT
TI  - Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA$^+$
AU  - Paolo Dini
AU  - Manuel Bravo
AU  - Philipp Paulweber
AU  - Alexander Raschke
AU  - Gabriela Moreira
PY  - 2023
UR  - https://arxiv.org/abs/2301.10875
ID  - 2301.10875
ER  -