%0 Journal Article %1 journals/corr/abs-2004-14384 %A Abdelghany, Mohamed %A Ahmad, Waqar %A Tahar, Sofiène %D 2020 %J CoRR %K dblp %T A Formally Verified HOL4 Algebra for Event Trees. %U http://dblp.uni-trier.de/db/journals/corr/corr2004.html#abs-2004-14384 %V abs/2004.14384

@article{journals/corr/abs-2004-14384, added-at = {2020-05-03T00:00:00.000+0200}, author = {Abdelghany, Mohamed and Ahmad, Waqar and Tahar, Sofiène}, biburl = {https://www.bibsonomy.org/bibtex/21d350481bc06d35ba3457281e2539b74/dblp}, ee = {https://arxiv.org/abs/2004.14384}, interhash = {647058c0c20c3c962ed63db98385175c}, intrahash = {1d350481bc06d35ba3457281e2539b74}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-05-05T11:43:11.000+0200}, title = {A Formally Verified HOL4 Algebra for Event Trees.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2004.html#abs-2004-14384}, volume = {abs/2004.14384}, year = 2020 }