Distributed Autonomous Systems (Benchmark Proposal) (bibtex)

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

Reference:

HD Tran, LV Nguyen, W Xiang and Taylor T. Johnson, "Distributed Autonomous Systems (Benchmark Proposal)", In 4th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'17), EasyChair, pp. 33–43, 2017.

Bibtex Entry:

@inproceedings{tran2017arch,
  title = {Distributed Autonomous Systems (Benchmark Proposal)},
  author = {HD Tran and LV Nguyen and W Xiang and Taylor T. Johnson},
  year = {2017},
  month = jun,
  booktitle = {4th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'17)},
  volume = {48},
  pages = {33--43},
  publisher = {EasyChair},
  doi = {10.29007/slz2},
  publabel = {W12},
  pubtype = {W},
  dblp = {conf/cpsweek/TranNXJ17},
  s2id = {13461803},
  pdf = "research/tran2017arch.pdf",
}