BibTeX record conf/birthday/0002OF14

download as .bib file

@inproceedings{DBLP:conf/birthday/0002OF14,
  author    = {Min Zhang and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  title     = {Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ
               Method},
  booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
               Futatsugi},
  pages     = {560--577},
  year      = {2014},
  crossref  = {DBLP:conf/birthday/2014futatsugi},
  url       = {https://doi.org/10.1007/978-3-642-54624-2\_28},
  doi       = {10.1007/978-3-642-54624-2\_28},
  timestamp = {Sat, 03 Mar 2018 00:07:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/0002OF14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2014futatsugi,
  editor    = {Shusaku Iida and
               Jos{\'{e}} Meseguer and
               Kazuhiro Ogata},
  title     = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
               Futatsugi},
  series    = {Lecture Notes in Computer Science},
  volume    = {8373},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54624-2},
  doi       = {10.1007/978-3-642-54624-2},
  isbn      = {978-3-642-54623-5},
  timestamp = {Sat, 03 Mar 2018 00:07:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2014futatsugi},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier