@incollection{bjp+23verifying,
author = {Eric Bodden and Marie-Christine Jakobs and Felix Pauck and Marco Platzner and Philipp Schubert and Heike Wehrheim},
editor = {Claus-Jochen Haake and Friedhelm {Meyer auf der Heide} and Marco Platzner and Henning Wachsmuth and Heike Wehrheim},
title = {Verifying Software and Reconfigurable Hardware Services},
booktitle = {On-The-Fly Computing -- Individualized IT-services in dynamic markets},
series = {Verlagsschriftenreihe des Heinz Nixdorf Instituts},
volume = {412},
pages = {125-144},
publisher = {Heinz Nixdorf Institut, Universit{\"a}t Paderborn},
year = {2023},
url = {https://doi.org/10.5281/zenodo.8060372},
doi = {10.5281/zenodo.8060372},
}