Papier "Approximative symbolische Modellprüfung von zeitkontinuierlichen Markov-Ketten" ist eine der einflussreichsten Arbeiten des Zeitraums
03.10.2022
23 Jahre nach seiner Veröffentlichung auf der CONCUR'99-Konferenz wird das Papier "Approximative symbolische Modellprüfung von zeitkontinuierlichen Markov-Ketten" im Jahr 2022 als eine der einflussreichsten Arbeiten des Zeitraums 1998-2001 auf der CONCUR veröffentlicht. Der Aufsatz, verfasst von Christel Baier (Dresden), Joost-Pieter Katoen und Holger Hermanns (Saarbrücken) erhielt den Test-of-Time Award auf der CONCUR 2022 Konferenz in Warschau Mitte September.