Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Davoren, J.M., Coulthard, V., Markey, N., Moor, T.: Non-deterministic temporal logics for general flow systems. In: Alur and Pappas [14], pp. 280–295. DOI 10.1007/b96398
2. Davoren, J.M., Nerode, A.: Logics for hybrid systems. IEEE 88(7), 985–1010 (2000). DOI 10.1109/5.871305
3. Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking for real-time systems. In: Mitchell [210], pp. 414–425
4. Damm, W., Hungar, H., Olderog, E.R.: On the verification of cooperating traffic agents. In: F.S. de Boer, M.M. Bonsangue, S. Graf, W.P. de Roever (eds.) FMCO, LNCS, vol. 3188, pp. 77–110. Springer (2003). DOI 10.1007/b100112
5. Pratt, V.R.: Process logic. In: POPL, pp. 93–100 (1979). DOI 10.1145/567752.567761
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A program logic to verify signal temporal logic specifications of hybrid systems;Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control;2021-05-19