Author:
Alur Rajeev,La Torre Salvatore,Madhusudan P.
Publisher
Springer Berlin Heidelberg
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Distance Between Timed Automata;Lecture Notes in Computer Science;2019
2. The Compound Interest in Relaxing Punctuality;Formal Methods;2018
3. Robust Model Checking of Timed Automata under Clock Drifts;Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control;2017-04-13
4. On the Determinization of Timed Systems;Lecture Notes in Computer Science;2017
5. Perturbation analysis of stochastic systems with empirical distribution parameters;Proceedings of the 36th International Conference on Software Engineering;2014-05-31