@misc{indiciae6cd153239493,
  title = {Evaluating Digital Library Search Systems by using Formal Process Modelling},
  author = {Christin Katharina Kreutz and Martin Blum and Philipp Schaer and Ralf Schenkel and Benjamin Weyers},
  year = {2023},
  url = {https://arxiv.org/abs/2304.11651},
  note = {Source identifier: 2304.11651}
}