BibTeX record conf/dagstuhl/RauhMH08

download as .bib file

@inproceedings{DBLP:conf/dagstuhl/RauhMH08,
  author    = {Andreas Rauh and
               Johanna Minisini and
               Eberhard P. Hofer},
  title     = {Towards the Development of an Interval Arithmetic Environment for
               Validated Computer-Aided Design and Verification of Systems in Control
               Engineering},
  booktitle = {Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008},
  year      = {2008},
  crossref  = {DBLP:conf/dagstuhl/2008P8021},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2008/1452},
  timestamp = {Fri, 10 Apr 2015 16:51:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/RauhMH08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2008P8021,
  editor    = {Annie A. M. Cuyt and
               Walter Kr{\"{a}}mer and
               Wolfram Luther and
               Peter W. Markstein},
  title     = {Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {08021},
  publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
               (IBFI), Schloss Dagstuhl, Germany},
  year      = {2008},
  url       = {http://drops.dagstuhl.de/portals/08021/},
  timestamp = {Mon, 18 Mar 2013 07:54:11 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/2008P8021},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}