Han, TingtingHölldobler, Steffen2020-08-212020-08-212010978-3-88579-414-2https://dl.gi.de/handle/20.500.12116/33657deDiagnosis, Synthesis and Analysis of Probabilistic Models1617-5468