BibTeX record: conf/sigsoft/BahsounMS93

download as .bib file

@inproceedings{DBLP:conf/sigsoft/BahsounMS93,
  author    = {Jean Paul Bahsoun and
               Stephan Merz and
               Corinne Servieres},
  title     = {A Framework for Programming and Formalizing Concurrent Objects.},
  booktitle = {{SIGSOFT} '93, Proceedings of the First {ACM} {SIGSOFT} Symposium
               on Foundations of Software Engineering, Los Angeles, California, USA,
               December 7-10, 1993},
  year      = {1993},
  pages     = {126--137},
  crossref  = {DBLP:conf/sigsoft/1993},
  url       = {http://doi.acm.org/10.1145/256428.167072},
  doi       = {10.1145/256428.167072},
  timestamp = {Wed, 03 Sep 2014 06:42:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sigsoft/BahsounMS93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/1993,
  editor    = {David Notkin},
  title     = {{SIGSOFT} '93, Proceedings of the First {ACM} {SIGSOFT} Symposium
               on Foundations of Software Engineering, Los Angeles, California, USA,
               December 7-10, 1993},
  year      = {1993},
  publisher = {{ACM}},
  timestamp = {Wed, 03 Sep 2014 06:42:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sigsoft/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}