TY  - RPRT
TI  - A Formally Verified HOL4 Algebra for Event Trees
AU  - Mohamed Abdelghany
AU  - Waqar Ahmad
AU  - Sofiene Tahar
PY  - 2020
UR  - https://arxiv.org/abs/2004.14384
ID  - 2004.14384
ER  -