[ACM Press the 22nd ACM International Conference - Montreal, Quebec, Canada (2019.04.16-2019.04.18)] Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19 - Relational differential dynamic logic
Kolčák, Juraj, Hasuo, Ichiro, Dubut, Jérémy, Katsumata, Shin-ya, Sprunger, David, Yamada, AkihisaYear:
2019
Language:
english
DOI:
10.1145/3302504.3313362
File:
PDF, 4.36 MB
english, 2019