![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Information and Computation, Volume 236
Volume 236, August 2014
Preface
- Ezio Bartocci
, Luca Bortolussi
, Scott A. Smolka:
Hybrid Systems and Biology. 1-2
- Chris J. Banks
, Ian Stark
:
A logic of behaviour in context. 3-18 - Giulio Caravagna
, Alberto d'Onofrio
, Marco Antoniotti, Giancarlo Mauri
:
Stochastic Hybrid Automata with delayed transitions to model biochemical systems with delays. 19-34 - Alberto Casagrande
, Tommaso Dreossi, Jana Fabriková, Carla Piazza
:
ϵ-Semantics computations on biological systems. 35-51 - Lubos Brim
, Petr Dluhos
, David Safránek
, Tomas Vejpustek:
STL⁎: Extending signal temporal logic with signal-value freezing operator. 52-67 - Loes Olde Loohuis, Andreas Witzel, Bud Mishra:
Cancer hybrid automata: Model, beliefs and therapy. 68-86 - Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre:
Quantitative verification of implantable cardiac pacemakers over hybrid heart models. 87-101 - Qin Shu, Ricardo G. Sanfelice
:
Dynamical properties of a two-gene network with hysteresis. 102-121 - Vashti Galpin
:
Hybrid semantics for Bio-PEPA. 122-145
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.