Cambiar navegación
es
|
en
|
pt
|
fr
Presentación
Países
Instituciones
Participa
Cambiar navegación
JavaScript is disabled for your browser. Some features of this site may not work without it.
Ver ítem
Inicio
Brasil
Universidades
Universidade Federal do Rio Grande do Norte (Brasil)
Ver ítem
Inicio
Brasil
Universidades
Universidade Federal do Rio Grande do Norte (Brasil)
Ver ítem
article
Verification of spatial and temporal modalities in biochemical systems
Fecha
2015
Registro en:
CHIARUGI, Davide; FALASCHI, Moreno; HERMITH, Diana; OLARTE, Carlos. Verification of Spatial and Temporal Modalities in Biochemical Systems. Electronic Notes In Theoretical Computer Science, [S.L.], v. 316, p. 29-44, set. 2015. Disponível em: https://www.sciencedirect.com/science/article/pii/S1571066115000389?via%3Dihub. Acesso em: 29 Jul. 2020. http://dx.doi.org/10.1016/j.entcs.2015.06.009.
1571-0661
https://repositorio.ufrn.br/jspui/handle/123456789/29760
10.1016/j.entcs.2015.06.009
http://repositorioslatinoamericanos.uchile.cl/handle/2250/3949519
Autor
Falaschi, Moreno
Hermith, Diana
Chiarugi, Davide
Vega, Carlos Alberto Olarte
Institución
Universidade Federal do Rio Grande do Norte (Brasil)
Materias
Biochemical systems
Linear logic
Spatial
Temporal modalities
Mostrar el registro completo del ítem
EXPLORAR POR
Instituciones
Fecha
2011 - 2020
2001 - 2010
1951 - 2000
1901 - 1950
1800 - 1900
Explorar en Red de Repositorios
Países >
Tipo de documento >
Fecha de publicación >
Instituciones >