| dc.creator | Falaschi, Moreno | |
| dc.creator | Hermith, Diana | |
| dc.creator | Chiarugi, Davide | |
| dc.creator | Vega, Carlos Alberto Olarte | |
| dc.date.accessioned | 2020-07-30T19:07:03Z | |
| dc.date.accessioned | 2022-10-06T12:17:47Z | |
| dc.date.available | 2020-07-30T19:07:03Z | |
| dc.date.available | 2022-10-06T12:17:47Z | |
| dc.date.created | 2020-07-30T19:07:03Z | |
| dc.date.issued | 2015 | |
| dc.identifier | 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. | |
| dc.identifier | 1571-0661 | |
| dc.identifier | https://repositorio.ufrn.br/jspui/handle/123456789/29760 | |
| dc.identifier | 10.1016/j.entcs.2015.06.009 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/3949519 | |
| dc.publisher | Elsevier | |
| dc.subject | Biochemical systems | |
| dc.subject | Linear logic | |
| dc.subject | Spatial | |
| dc.subject | Temporal modalities | |
| dc.title | Verification of spatial and temporal modalities in biochemical systems | |
| dc.type | article | |
