BibTeX record conf/ifip2-1/Moller93

download as .bib file

@inproceedings{DBLP:conf/ifip2-1/Moller93,
  author    = {Bernhard M{\"{o}}ller},
  title     = {Derivation of Graph and Pointer Algorithms},
  booktitle = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
               Report},
  pages     = {123--160},
  year      = {1993},
  crossref  = {DBLP:conf/ifip2-1/1993},
  url       = {https://doi.org/10.1007/3-540-57499-9\_19},
  doi       = {10.1007/3-540-57499-9\_19},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/ifip2-1/Moller93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip2-1/1993,
  editor    = {Bernhard M{\"{o}}ller and
               Helmuth Partsch and
               Stephen A. Schuman},
  title     = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
               Report},
  series    = {Lecture Notes in Computer Science},
  volume    = {755},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-57499-9},
  doi       = {10.1007/3-540-57499-9},
  isbn      = {3-540-57499-9},
  timestamp = {Tue, 29 Nov 2022 11:38:09 +0100},
  biburl    = {https://dblp.org/rec/conf/ifip2-1/1993.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics