A proof theoretic view of spatial and temporal dependencies in biochemical systems
The behavior of biochemical systems such as metabolic and signaling pathways may depend on either the location of the reactants or on the time needed for a reaction to occur. In this paper we propose a formalism for specifying and verifying properties of biochemical systems that combines, coherently...
Na minha lista:
Principais autores: | , , , |
---|---|
Formato: | article |
Idioma: | English |
Publicado em: |
Elsevier
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/jspui/handle/123456789/29759 https://doi.org/10.1016/j.tcs.2016.03.029 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|