Liya Liu, Osman Hasan, Sofiène Tahar. Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL. J. Comput. Sci. Technol., 28(2):217-231, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.