Login | Register

Items where Author is "Liu, Liya"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article | Thesis
Number of items: 2.

Article

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

Thesis

Liu, Liya (2013) Formalization of Discrete-time Markov Chains in HOL. PhD thesis, Concordia University.

This list was generated on Sun May 19 03:18:19 2019 EDT.
Back to top Back to top