Discrete-Space Analysis of Partial Differential Equations

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]

Authors

Hoang-Dung Tran

This author has not been identified. Look up 'Hoang-Dung Tran' in Google

Tianshu Bao

This author has not been identified. Look up 'Tianshu Bao' in Google

Taylor T. Johnson

This author has not been identified. Look up 'Taylor T. Johnson' in Google