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

by Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang and Taylor T. Johnson

Reference:

Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang and Taylor T. Johnson, "Real-Time Verification for Distributed Cyber-Physical Systems", Leibniz Transactions on Embedded Systems (LITES), Dagstuhl, 2022.

Bibtex Entry:

@article{tran2022lites,
  title = {Real-Time Verification for Distributed Cyber-Physical Systems},
  author = {Hoang-Dung Tran and Luan Viet Nguyen and Patrick Musau and Weiming Xiang and Taylor T. Johnson},
  year = {2022},
  month = feb,
  journal = {Leibniz Transactions on Embedded Systems (LITES)},
  publisher = {Dagstuhl},
  doi = {10.4230/LITES.8.2.7},
  publabel = {J25},
  pubtype = {J},
  dblp = {journals/lites/TranNMXJ22},
}