BibTeX record conf/qsw/KlamrothBSD23

• > Home > conf/qsw/KlamrothBSD23

@inproceedings{DBLP:conf/qsw/KlamrothBSD23,
  author       = {Jonas Klamroth and
                  Bernhard Beckert and
                  Max Scheerer and
                  Oliver Denninger},
  editor       = {Shaukat Ali and
                  Claudio Agostino Ardagna and
                  Nimanthi L. Atukorala and
                  Johanna Barzen and
                  Carl K. Chang and
                  Rong N. Chang and
                  Jing Fan and
                  Ismael Faro and
                  Sebastian Feld and
                  Geoffrey Fox and
                  Zhi Jin and
                  Frank Leymann and
                  Florian Neukart and
                  Salvador de la Puente and
                  Manuel Wimmer},
  title        = {QIn: Enabling Formal Methods to Deal with Quantum Circuits},
  booktitle    = {{IEEE} International Conference on Quantum Software, {QSW} 2023, Chicago,
                  IL, USA, July 2-8, 2023},
  pages        = {175--185},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/QSW59989.2023.00029},
  doi          = {10.1109/QSW59989.2023.00029},
  timestamp    = {Mon, 05 Feb 2024 20:34:59 +0100},
  biburl       = {https://dblp.org/rec/conf/qsw/KlamrothBSD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}