BibTeX record conf/room/FischerHLP00

download as .bib file

@inproceedings{DBLP:conf/room/FischerHLP00,
  author    = {Joachim Fischer and
               Eckhardt Holz and
               Martin von L{\"{o}}wis and
               Andreas Prinz},
  title     = {{SDL-2000:} {A} Language with a Formal Semantics},
  booktitle = {Rigorous Object-Oriented Methods, {ROOM} 2000, York, UK, 17 January
               2000},
  year      = {2000},
  crossref  = {DBLP:conf/room/2000},
  url       = {http://ewic.bcs.org/content/ConWebDoc/4209},
  timestamp = {Wed, 11 Jun 2014 19:17:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/room/FischerHLP00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/room/2000,
  title     = {Rigorous Object-Oriented Methods, {ROOM} 2000, York, UK, 17 January
               2000},
  series    = {Workshops in Computing},
  publisher = {{BCS}},
  year      = {2000},
  timestamp = {Wed, 16 Mar 2005 14:29:12 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/room/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}