Discrete-Space Analysis of Partial Differential Equations (PDEs) (Benchmark Proposal) (bibtex)

by Hoang-Dung Tran, Tianshu Bao and Taylor T. Johnson

Reference:

Hoang-Dung Tran, Tianshu Bao and Taylor T. Johnson, "Discrete-Space Analysis of Partial Differential Equations (PDEs) (Benchmark Proposal)", In 5th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'18), EasyChair, pp. 185–195, 2018.

Bibtex Entry:

@inproceedings{tran2018arch,
  title = {Discrete-Space Analysis of Partial Differential Equations (PDEs) (Benchmark Proposal)},
  author = {Hoang-Dung Tran and Tianshu Bao and Taylor T. Johnson},
  year = {2018},
  month = sep,
  booktitle = {5th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'18)},
  volume = {54},
  pages = {185--195},
  publisher = {EasyChair},
  doi = {10.29007/fvpp},
  publabel = {W15},
  pubtype = {W},
}