%0 Conference Paper %1 DBLP:conf/jcdl/KreutzBSSW23 %A Kreutz, Christin Katharina %A Blum, Martin %A Schaer, Philipp %A Schenkel, Ralf %A Weyers, Benjamin %B ACM/IEEE Joint Conference on Digital Libraries, JCDL 2023, Santa Fe, NM, USA, June 26-30, 2023 %D 2023 %I IEEE %K kreutz myown schaer %P 1--12 %R 10.1109/JCDL57899.2023.00058 %T Evaluating Digital Library Search Systems by Using Formal Process Modelling %U https://doi.org/10.1109/JCDL57899.2023.00058

@inproceedings{DBLP:conf/jcdl/KreutzBSSW23, added-at = {2023-10-18T16:31:21.000+0200}, author = {Kreutz, Christin Katharina and Blum, Martin and Schaer, Philipp and Schenkel, Ralf and Weyers, Benjamin}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://www.bibsonomy.org/bibtex/2cb079b9b164475c90d40c029c543fcb3/irgroup_thkoeln}, booktitle = {{ACM/IEEE} Joint Conference on Digital Libraries, {JCDL} 2023, Santa Fe, NM, USA, June 26-30, 2023}, doi = {10.1109/JCDL57899.2023.00058}, interhash = {c5a1690969c6cfbc41ab8fda6fe2111b}, intrahash = {cb079b9b164475c90d40c029c543fcb3}, keywords = {kreutz myown schaer}, pages = {1--12}, pdf = {https://arxiv.org/pdf/2304.11651.pdf}, publisher = {{IEEE}}, timestamp = {2023-10-25T17:25:25.000+0200}, title = {Evaluating Digital Library Search Systems by Using Formal Process Modelling}, url = {https://doi.org/10.1109/JCDL57899.2023.00058}, year = 2023 }