@techreport{2012-Jansen-MarkovHidden,
  author		= "{Jansen}, David N. and {Nielson}, Flemming and {Zhang}, Lijun",
  title			= "{Belief bisimulation for hidden Markov models: logical characterisation and decision algorithm}",
  number		= "ICIS--R12002",
  month			= "February",
  institution		= "Radboud University Nijmegen",
  year			= "2012",
  code			= "icis.ICIS-R12002",
  research_group	= "mbsd",
  class			= "Report"
}