8 citations · 39 across the 9 of their papers we have counts for
1 paper · 2 filters
Thao Dang, Stefan Ratschan
The proceedings of the 6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2020) contains papers underlying talks presented at the workshop.…