@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
}