BibTeX record conf/dagstuhl/2010P10271

download as .bib file

@proceedings{DBLP:conf/dagstuhl/2010P10271,
  editor    = {Bernd Becker and
               Luca Cardelli and
               Holger Hermanns and
               Sofi{\`{e}}ne Tahar},
  title     = {Verification over discrete-continuous boundaries, 04.07. - 09.07.2010},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {10271},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2010},
  url       = {http://drops.dagstuhl.de/portals/10271/},
  timestamp = {Fri, 20 Jan 2017 12:54:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2010P10271},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier