@misc{indiciae093c200d50f8,
  title = {Exploring LLMs for Verifying Technical System Specifications Against Requirements},
  author = {Lasse M. Reinpold and Marvin Schieseck and Lukas P. Wagner and Felix Gehlhoff and Alexander Fay},
  year = {2024},
  url = {https://arxiv.org/abs/2411.11582},
  note = {Source identifier: 2411.11582}
}