Details for the publication Zhang04MT.

Lijun Zhang: Logic and Model Checking for Hidden Markov Models. Saarland University, 2004. URL BIB