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

Tran, Hoang-Dung; Bao, Tianshu; Johnson, Taylor T.

doi:https://doi.org/10.29007/fvpp

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

Reference:

Hoang-Dung Tran, Tianshu Bao, Taylor T. Johnson, "Discrete-Space Analysis of Partial Differential Equations (PDEs) (Benchmark Proposal)", In 5th Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Oxford, UK, 2018, july.

Bibtex Entry:

@InProceedings{tran2018arch,
  author =    {Hoang-Dung Tran and Tianshu Bao and Taylor T. Johnson},
  title =     {Discrete-Space Analysis of Partial Differential Equations (PDEs) (Benchmark Proposal)},
  booktitle = {5th Applied Verification for Continuous and Hybrid Systems Workshop (ARCH)},
  year =      {2018},
  address =   {Oxford, UK},
  month =     july,
    pdf = {http://www.taylortjohnson.com/research/tran2018arch.pdf},
  doi = {https://doi.org/10.29007/fvpp},
}