Details for the publication ZhangHJ05.

Lijun Zhang, Holger Hermanns (), David N. Jansen (): Logic and Model Checking for Hidden Markov Models. In Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, volume 3731 of Lecture Notes in Computer Science, pages 98-112, 2005. DOI BIB