Citation Relationships



Alur R, Courcoubetis C, Henzinger T, Ho P (1993) Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems Proceedings of Hybrid Systems I, LNCS 736:209-229

References and models cited by this paper

References and models that cite this paper

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

   CellExcite: an efficient simulation environment for excitable cells (Bartocci et al. 2008) [Model]

(1 refs)