Media type: Text; E-Article; Electronic Conference Proceeding Title: LIPIcs, Volume 216, CSL 2022, Complete Volume Contributor: Manea, Florin [Author]; Simpson, Alex [Author] Published: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022 Language: English DOI: https://doi.org/10.4230/LIPIcs.CSL.2022 Keywords: LIPIcs ; Complete Volume ; Volume 216 ; CSL 2022 Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Description: LIPIcs, Volume 216, CSL 2022, Complete Volume Access State: Open Access