Cyber-Physical Specification Mismatches (bibtex)

by LV Nguyen, KA Hoque, S Bak, S Drager and Taylor T. Johnson

Reference:

LV Nguyen, KA Hoque, S Bak, S Drager and Taylor T. Johnson, "Cyber-Physical Specification Mismatches", ACM Transactions on Cyber-Physical Systems (TCPS), ACM, vol. 2, no. 4, pp. 23:1–23:26, 2018.

Bibtex Entry:

@article{nguyen2018tcps,
  title = {Cyber-Physical Specification Mismatches},
  author = {LV Nguyen and KA Hoque and S Bak and S Drager and Taylor T. Johnson},
  year = {2018},
  month = jul,
  journal = {ACM Transactions on Cyber-Physical Systems (TCPS)},
  volume = {2},
  number = {4},
  pages = {23:1--23:26},
  publisher = {ACM},
  doi = {10.1145/3170500},
  publabel = {J14},
  pubtype = {J},
  arxiv = {1806.09224},
  dblp = {journals/tcps/NguyenHBDJ18},
  s2id = {49420245},
  pdf = "research/nguyen2018tcps.pdf",
}