@TechReport{HFu2011,
  author =	 "Hongfei Fu",
  title =	 "The Complexity of Deciding a Behavioural Pseudometric on Probabilistic Automata",
  institution =	 "RWTH Aachen",
  keywords = "quantified verification, behavioural pseudometrics, bisimulation",
  year =	 "2011",
  number =	 "AIB-2011-26",
  month =	 dec,
  url =          "http://aib.informatik.rwth-aachen.de/",
}