Real-Time Verification for Distributed Cyber-Physical Systems (bibtex)

by HD Tran, LV Nguyen, P Musau, W Xiang and Taylor T. Johnson

Reference:

HD Tran, LV Nguyen, P Musau, W Xiang and Taylor T. Johnson, "Real-Time Verification for Distributed Cyber-Physical Systems", Technical report, arXiv preprint arXiv:1909.09087, 2019.

Bibtex Entry:

@techreport{tran2019forte_extended,
  title = {Real-Time Verification for Distributed Cyber-Physical Systems},
  author = {HD Tran and LV Nguyen and P Musau and W Xiang and Taylor T. Johnson},
  year = {2019},
  institution = {arXiv preprint arXiv:1909.09087},
  publabel = {R9},
  pubtype = {R},
  dblp = {journals/lites/TranNMXJ22},
}