Hoang-Dung Tran, Tianshu Bao, Taylor T. Johnson. Discrete-Space Analysis of Partial Differential Equations. In Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson, editors, ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018. Volume 54 of EPiC Series in Computing, pages 185-195, EasyChair, 2018. [doi]
@inproceedings{TranBJ18, title = {Discrete-Space Analysis of Partial Differential Equations}, author = {Hoang-Dung Tran and Tianshu Bao and Taylor T. Johnson}, year = {2018}, url = {http://www.easychair.org/publications/paper/5g6W}, researchr = {https://researchr.org/publication/TranBJ18}, cites = {0}, citedby = {0}, pages = {185-195}, booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018}, editor = {Goran Frehse and Matthias Althoff and Sergiy Bogomolov and Taylor T. Johnson}, volume = {54}, series = {EPiC Series in Computing}, publisher = {EasyChair}, }