Author:
Liu Liya,Aravantinos Vincent,Hasan Osman,Tahar Sofiène
Publisher
Springer International Publishing
Reference27 articles.
1. Lecture Notes in Computer Science;R. Affeldt,2012
2. C. Baier and J. Katoen. Principles of Model Checking. MIT Press (2008)
3. Bhattacharya, R.N., Waymire, E.C.: Stochastic Processes with Applications. John Wiley & Sons (1990)
4. ChIP-Seq Tool Set (2012),
http://havoc.genomecenter.ucdavis.edu/cgi-bin/chipseq.cgi
5. Chung, K.L.: Markov chains with stationary transition probabilities. Springer, Heidelberg (1960)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Verification of Cyber-Physical Systems Using Theorem Proving;Communications in Computer and Information Science;2020
2. A Formal Proof of the Expressiveness of Deep Learning;Journal of Automated Reasoning;2018-09-22
3. A Formal Proof of the Expressiveness of Deep Learning;Interactive Theorem Proving;2017
4. Formalization of Hidden Markov Model;Formalized Probability Theory and Applications Using Theorem Proving