Large-Scale Linear Systems from Order-Reduction (Benchmark Proposal) (bibtex)

by HD Tran, LV Nguyen and Taylor T. Johnson

Reference:

HD Tran, LV Nguyen and Taylor T. Johnson, "Large-Scale Linear Systems from Order-Reduction (Benchmark Proposal)", In 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'16), EasyChair, pp. 60–67, 2016.

Bibtex Entry:

@inproceedings{tran2016arch,
  title = {Large-Scale Linear Systems from Order-Reduction (Benchmark Proposal)},
  author = {HD Tran and LV Nguyen and Taylor T. Johnson},
  year = {2016},
  booktitle = {3rd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'16)},
  volume = {43},
  pages = {60--67},
  publisher = {EasyChair},
  doi = {10.29007/xk7x},
  publabel = {W9},
  pubtype = {W},
  dblp = {conf/cpsweek/TranNJ16},
  s2id = {32070788},
  pdf = "research/tran2016arch.pdf",
}