| On the Formal Analysis of HMM Using Theorem Proving. | 2 | 0.40 | 2014 |
| Formal reasoning about classified markov chains in HOL | 5 | 0.53 | 2013 |
| Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL | 2 | 0.46 | 2013 |
| Formal Analysis of Memory Contention in a Multiprocessor System. | 3 | 0.41 | 2013 |
| Formalization of finite-state discrete-time Markov chains in HOL | 8 | 0.62 | 2011 |
