BibTeX record journals/shonan-reports/NakajimaTTY16

download as .bib file

@article{DBLP:journals/shonan-reports/NakajimaTTY16,
  author    = {Shin Nakajima and
               Jean{-}Pierre Talpin and
               Masumi Toyoshima and
               Huafeng Yu},
  title     = {Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical
               Systems {(NII} Shonan Meeting 2016-5)},
  journal   = {{NII} Shonan Meet. Rep.},
  volume    = {2016},
  year      = {2016},
  url       = {http://shonan.nii.ac.jp/shonan/report/no-2016-5/},
  timestamp = {Fri, 23 Feb 2018 07:13:48 +0100},
  biburl    = {https://dblp.org/rec/journals/shonan-reports/NakajimaTTY16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics