date: 2015-11-17T09:59:39Z
pdf:PDFVersion: 1.7
pdf:docinfo:title: Verification of Spatial and Temporal Modalities in Biochemical Systems
xmp:CreatorTool: Elsevier
access_permission:can_print_degraded: true
subject: Electronic Notes in Theoretical Computer Science, 316 (2015) 29?44. 10.1016/j.entcs.2015.06.009
language: en
dc:format: application/pdf; version=1.7
pdf:docinfo:custom:robots: noindex
pdf:docinfo:creator_tool: Elsevier
access_permission:fill_in_form: true
pdf:encrypted: false
dc:title: Verification of Spatial and Temporal Modalities in Biochemical Systems
modified: 2015-11-17T09:59:39Z
cp:subject: Electronic Notes in Theoretical Computer Science, 316 (2015) 29?44. 10.1016/j.entcs.2015.06.009
robots: noindex
pdf:docinfo:subject: Electronic Notes in Theoretical Computer Science, 316 (2015) 29?44. 10.1016/j.entcs.2015.06.009
pdf:docinfo:creator: Davide Chiarugi
meta:author: Moreno Falaschi
meta:creation-date: 2015-09-10T11:54:26Z
created: 2015-09-10T11:54:26Z
access_permission:extract_for_accessibility: true
Creation-Date: 2015-09-10T11:54:26Z
ElsevierWebPDFSpecifications: 6.4
pdf:docinfo:custom:doi: 10.1016/j.entcs.2015.06.009
Author: Moreno Falaschi
producer: VTeX PDF Formatter 1.0 (Windows)
pdf:docinfo:producer: VTeX PDF Formatter 1.0 (Windows)
doi: 10.1016/j.entcs.2015.06.009
pdf:unmappedUnicodeCharsPerPage: 0
dc:description: Electronic Notes in Theoretical Computer Science, 316 (2015) 29?44. 10.1016/j.entcs.2015.06.009
access_permission:modify_annotations: true
dc:creator: Moreno Falaschi
description: Electronic Notes in Theoretical Computer Science, 316 (2015) 29?44. 10.1016/j.entcs.2015.06.009
dcterms:created: 2015-09-10T11:54:26Z
Last-Modified: 2015-11-17T09:59:39Z
dcterms:modified: 2015-11-17T09:59:39Z
title: Verification of Spatial and Temporal Modalities in Biochemical Systems
xmpMM:DocumentID: uuid:54e8ada8-3f1f-448d-ad82-490661f26426
Last-Save-Date: 2015-11-17T09:59:39Z
pdf:docinfo:modified: 2015-11-17T09:59:39Z
meta:save-date: 2015-11-17T09:59:39Z
Content-Type: application/pdf
X-Parsed-By: org.apache.tika.parser.DefaultParser
creator: Moreno Falaschi
dc:language: en
pdf:docinfo:custom:ElsevierWebPDFSpecifications: 6.4
access_permission:assemble_document: true
xmpTPg:NPages: 16
pdf:charsPerPage: 2067
access_permission:extract_content: true
access_permission:can_print: true
access_permission:can_modify: true
pdf:docinfo:created: 2015-09-10T11:54:26Z