Author:
Neves Renato,Barbosa Luis S.
Publisher
Springer International Publishing
Reference19 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. Theor. Comput. Sci. 138(1), 3–34 (1995)
2. Lecture Notes in Computer Science;R Alur,1997
3. LNCS;M Antoniotti,2003
4. Barbosa, L.S.: Towards a calculus of state-based software components. J. Univ. Comput. Sci. 9, 891–909 (2003)
5. Bartocci, E., Corradini, F., Di Berardini, M.R., Entcheva, E., Smolka, S.A., Grosu, R.: Modeling, simulation of cardiac tissue using hybrid i, o automata. Theor. Comput. Sci. 410(33–34), 3149–3165 (2009). Concurrent Systems Biology: To Nadia Busi (1968–2007)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fuzzy Automata as Coalgebras;Mathematics;2021-01-29
2. Languages and models for hybrid automata: A coalgebraic perspective;Theoretical Computer Science;2018-10
3. Limits in categories of Vietoris coalgebras;Mathematical Structures in Computer Science;2018-08-10
4. Counterfactual Causality from First Principles?;Electronic Proceedings in Theoretical Computer Science;2017-10-10