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 Fri Sep 22 03:19:43 2023 EDT.
Back to top Back to top