BibTeX record conf/apsec/0002OF15

download as .bib file

@inproceedings{DBLP:conf/apsec/0002OF15,
  author    = {Min Zhang and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  title     = {Towards a Formal Approach to Modeling and Verifying the Design of
               Dynamic Software Updates},
  booktitle = {2015 Asia-Pacific Software Engineering Conference, {APSEC} 2015, New
               Delhi, India, December 1-4, 2015},
  pages     = {159--166},
  year      = {2015},
  crossref  = {DBLP:conf/apsec/2015},
  url       = {https://doi.org/10.1109/APSEC.2015.28},
  doi       = {10.1109/APSEC.2015.28},
  timestamp = {Sat, 03 Mar 2018 00:07:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/0002OF15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apsec/2015,
  editor    = {Jing Sun and
               Y. Raghu Reddy and
               Arun Bahulkar and
               Anjaneyulu Pasala},
  title     = {2015 Asia-Pacific Software Engineering Conference, {APSEC} 2015, New
               Delhi, India, December 1-4, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7467057},
  isbn      = {978-1-4673-9644-8},
  timestamp = {Fri, 13 May 2016 12:35:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier