Login | Register

Items where Author is "Liu, Liya"

Group 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

This list was generated on Sun Feb 25 03:09:21 2024 EST.
Back to top Back to top