Henzinger TA. (1996). The theory of Hybrid Automata Proceedings Of The 11th Ieee Symposium On Logic In Computer Science.

See more from authors: Henzinger TA

References and models cited by this paper
References and models that cite this paper

Bartocci E, Corradini F, Entcheva E, Smolka SA, Grosu R. (2008). CellExcite: an efficient simulation environment for excitable cells BMC Bioinformatics. 9(Suppl 2)

This website requires cookies and limited processing of your personal data in order to function. By continuing to browse or otherwise use this site, you are agreeing to this use. See our Privacy policy and how to cite and terms of use.