Hernández, Noé ; Eder, Kerstin ; Magid, Evgeni.. Hernández , N , Eder , K , Magid , E , Savage , J & Rosenblueth , D A 2015 , Marimba : A tool for verifying properties of hidden markov models . in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 9364 , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 9364 , Springer Verlag , pp. 201-206 , 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015 , Shanghai , China , 12/10/15 . https://doi.org/10.1007/978-3-319-24953-7_14.
,
2015