Christin Katharina Kreutz, Martin Blum, Philipp Schaer, Ralf Schenkel, Benjamin Weyers. Evaluating Digital Library Search Systems by Using Formal Process Modelling. In ACM/IEEE Joint Conference on Digital Libraries, JCDL 2023, Santa Fe, NM, USA, June 26-30, 2023. pages 1-12, IEEE, 2023. [doi]
Abstract is missing.