A Formally Verified HOL4 Algebra for Event Trees. (arXiv:2004.14384v1 [eess.SY]) http://arxiv.org/abs/2004.14384
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.
