BibTeX record conf/compgeom/MehlhornNSSSSU96

• > Home > conf/compgeom/MehlhornNSSSSU96

@inproceedings{DBLP:conf/compgeom/MehlhornNSSSSU96,
  author       = {Kurt Mehlhorn and
                  Stefan N{\"{a}}her and
                  Thomas Schilz and
                  Stefan Schirra and
                  Michael Seel and
                  Raimund Seidel and
                  Christian Uhrig},
  editor       = {Sue Whitesides},
  title        = {Checking Geometric Programs or Verification of Geometric Structures},
  booktitle    = {Proceedings of the Twelfth Annual Symposium on Computational Geometry,
                  Philadelphia, PA, USA, May 24-26, 1996},
  pages        = {159--165},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/237218.237344},
  doi          = {10.1145/237218.237344},
  timestamp    = {Mon, 14 Jun 2021 16:25:24 +0200},
  biburl       = {https://dblp.org/rec/conf/compgeom/MehlhornNSSSSU96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}