Items where Author is "Liu, Liya"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 2.
Liu, Liya (2013) Formalization of Discrete-time Markov Chains in HOL. PhD thesis, Concordia University.
Liu, Liya, Hasan, Osman and Tahar, Sofiène (2013) Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL. Journal of Computer Science and Technology, 28 (2). pp. 217-231. ISSN 1000-9000
