BibTeX record books/daglib/0097892

download as .bib file

@book{DBLP:books/daglib/0097892,
  author    = {J{\"{u}}rgen Brauburger},
  title     = {Automatic termination analysis for functional and imperative programs},
  series    = {{DISKI}},
  volume    = {207},
  publisher = {Infix},
  year      = {1999},
  url       = {http://d-nb.info/956678750},
  isbn      = {978-3-89601-207-4},
  timestamp = {Wed, 11 Jan 2017 16:04:15 +0100},
  biburl    = {https://dblp.org/rec/bib/books/daglib/0097892},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics