@inbook{749fea7805b244cf9c99cfe449c4336d,
title = "Jan Peleska – The Admirable Expert in Applicable Formal Methods for Safe Industrial Products (Laudatio)",
abstract = "This is a laudatio in honour of Jan Peleska on the occasion of his 65th birthday. Rather than praising Jan{\textquoteright}s whole scientific career and achievements, which would go beyond my space and time limits, this laudatio expresses my admiration for an outstanding person, an admiration I know is shared by colleagues around the world.",
author = "Haxthausen, \{Anne Elisabeth\}",
year = "2023",
language = "English",
isbn = "978-3-031-40131-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "xi--xii",
booktitle = "Applicable Formal Methods for Safe Industrial Products",
}