Publisher
Springer International Publishing
Reference33 articles.
1. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. TCS 138(1), 3–34 (1995)
2. Assouramou, J., Desharnais, J.: Analysis of non-linear probabilistic hybrid systems. In: Proc. QAPL 2011. EPTCS, vol. 57, pp. 104–119 (2011)
3. IFIP International Federation for Information Processing;C Baier,2004
4. Baier, C., Katoen, J.-P.: Principles of model checking. MIT Press (2008)
5. Büchi, J.R., Landweber, L.H.: Solving sequential conditions by finite-state strategies. Transactions of the AMS 138, 295–311 (1969)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献