Falaschi, MorenoHermith, DianaChiarugi, DavideVega, Carlos Alberto Olarte2020-07-302020-07-302015CHIARUGI, 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-0661https://repositorio.ufrn.br/jspui/handle/123456789/29760Biochemical systemsLinear logicSpatialTemporal modalitiesVerification of spatial and temporal modalities in biochemical systemsarticle10.1016/j.entcs.2015.06.009