Paper "Approximate symbolic model checking of continuous-time Markov chains" is one of the most influential papers of the period
03/10/2022
23 years after its publication at the CONCUR'99 conference, the paper "Approximate symbolic model checking of continuous-time Markov chains" was selected in 2022 as one of the most influential papers in the period 1998-2001 published at CONCUR. The paper, by Christel Baier (Dresden), Joost-Pieter Katoen and Holger Hermanns (Saarbrücken) received the Test-of-Time Award at the CONCUR 2022 conference in Warwaw mid September.