Verification of spatial and temporal modalities in biochemical systems

Autores		Falaschi, Moreno; Hermith, Diana; Chiarugi, Davide; Vega, Carlos Alberto Olarte
Editor		Elsevier
Data		2015
Palavras-chave		Biochemical systems Linear logic Spatial Temporal modalities
Citação		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.
Resumo
URI		https://repositorio.ufrn.br/jspui/handle/123456789/29760