BibTeX record data/11/KnispelMCHJDN24

• > Home > data/11/KnispelMCHJDN24

@misc{DBLP:data/11/KnispelMCHJDN24,
  author       = {Andre Knispel and
                  Orestis Melkonian and
                  James Chapman and
                  Alasdair Hill and
                  Joosep J{\"{a}}{\"{a}}ger and
                  William J. DeMeo and
                  Ulf Norell},
  title        = {IntersectMBO/formal-ledger-specifications},
  publisher    = {{DROPS} Artifacts},
  year         = {2024},
  month        = nov,
  howpublished = {\url{https://doi.org/10.4230/artifacts.22485}},
  note         = {Accessed on YYYY-MM-DD.},
  url          = {https://doi.org/10.4230/artifacts.22485},
  doi          = {10.4230/ARTIFACTS.22485},
  timestamp    = {Wed, 15 Jan 2025 14:36:10 +0100},
  biburl       = {https://dblp.org/rec/data/11/KnispelMCHJDN24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}