BibTeX record conf/csa2/0001G0F15

download as .bib file

@inproceedings{DBLP:conf/csa2/0001G0F15,
  author    = {Masaki Nakamura and
               Daniel G{\^{a}}in{\^{a}} and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  title     = {Proving Sufficient Completeness of Constructor-Based Algebraic Specifications},
  booktitle = {Advances in Computer Science and Ubiquitous Computing - {CSA} {\&}
               {CUTE} 2015, Cebu, Philippines, December 15-17, 2015},
  pages     = {15--21},
  year      = {2015},
  crossref  = {DBLP:conf/csa2/2015},
  url       = {https://doi.org/10.1007/978-981-10-0281-6\_3},
  doi       = {10.1007/978-981-10-0281-6\_3},
  timestamp = {Wed, 29 May 2019 09:35:09 +0200},
  biburl    = {https://dblp.org/rec/conf/csa2/0001G0F15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csa2/2015,
  editor    = {Doo{-}Soon Park and
               Han{-}Chieh Chao and
               Young{-}Sik Jeong and
               James Jong Hyuk Park},
  title     = {Advances in Computer Science and Ubiquitous Computing - {CSA} {\&}
               {CUTE} 2015, Cebu, Philippines, December 15-17, 2015},
  series    = {Lecture Notes in Electrical Engineering},
  volume    = {373},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-981-10-0281-6},
  doi       = {10.1007/978-981-10-0281-6},
  isbn      = {978-981-10-0280-9},
  timestamp = {Fri, 08 Mar 2019 11:06:31 +0100},
  biburl    = {https://dblp.org/rec/conf/csa2/2015.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics