<?xml version='1.0' encoding='utf-8'?>
<eprints xmlns='http://eprints.org/ep2/data/2.0'>
  <eprint id='https://researchdata.gla.ac.uk/id/eprint/310'>
    <eprintid>310</eprintid>
    <rev_number>17</rev_number>
    <documents>
      <document id='https://researchdata.gla.ac.uk/id/document/788'>
        <docid>788</docid>
        <rev_number>2</rev_number>
        <files>
          <file id='https://researchdata.gla.ac.uk/id/file/4502'>
            <fileid>4502</fileid>
            <datasetid>document</datasetid>
            <objectid>788</objectid>
            <filename>FAOC2016_code.tar</filename>
            <mime_type>application/x-tar,</mime_type>
            <hash>4fc6c243e73dd2b4a3c6772a4e16b49f</hash>
            <hash_type>MD5</hash_type>
            <filesize>71680</filesize>
            <mtime>2016-04-27 14:59:03</mtime>
            <url>https://researchdata.gla.ac.uk/310/1/FAOC2016_code.tar</url>
          </file>
        </files>
        <eprintid>310</eprintid>
        <pos>1</pos>
        <placement>1</placement>
        <mime_type>application/x-tar,</mime_type>
        <format>Code</format>
        <language>en</language>
        <security>public</security>
        <license>cc_by_4</license>
        <main>FAOC2016_code.tar</main>
        <content>data</content>
      </document>
      <document id='https://researchdata.gla.ac.uk/id/document/789'>
        <docid>789</docid>
        <rev_number>2</rev_number>
        <files>
          <file id='https://researchdata.gla.ac.uk/id/file/4505'>
            <fileid>4505</fileid>
            <datasetid>document</datasetid>
            <objectid>789</objectid>
            <filename>FAOC2016_Appendix.pdf</filename>
            <mime_type>application/pdf</mime_type>
            <hash>9484ff37599b21d9b70b6d9787a701b2</hash>
            <hash_type>MD5</hash_type>
            <filesize>127930</filesize>
            <mtime>2016-04-27 14:59:36</mtime>
            <url>https://researchdata.gla.ac.uk/310/2/FAOC2016_Appendix.pdf</url>
          </file>
        </files>
        <eprintid>310</eprintid>
        <pos>2</pos>
        <placement>2</placement>
        <mime_type>application/pdf</mime_type>
        <format>Text</format>
        <language>en</language>
        <security>public</security>
        <license>cc_by_4</license>
        <main>FAOC2016_Appendix.pdf</main>
        <content>documentation</content>
      </document>
      <document id='https://researchdata.gla.ac.uk/id/document/790'>
        <docid>790</docid>
        <rev_number>2</rev_number>
        <files>
          <file id='https://researchdata.gla.ac.uk/id/file/4508'>
            <fileid>4508</fileid>
            <datasetid>document</datasetid>
            <objectid>790</objectid>
            <filename>ReadMe.txt</filename>
            <mime_type>text/plain</mime_type>
            <hash>f6d8e15b0643590c2cfaa0972728955f</hash>
            <hash_type>MD5</hash_type>
            <filesize>184</filesize>
            <mtime>2016-04-27 15:00:02</mtime>
            <url>https://researchdata.gla.ac.uk/310/3/ReadMe.txt</url>
          </file>
        </files>
        <eprintid>310</eprintid>
        <pos>3</pos>
        <placement>3</placement>
        <mime_type>text/plain</mime_type>
        <format>Text</format>
        <language>en</language>
        <security>public</security>
        <license>cc_by_4</license>
        <main>ReadMe.txt</main>
        <content>readme</content>
      </document>
      <document id='https://researchdata.gla.ac.uk/id/document/791'>
        <docid>791</docid>
        <rev_number>1</rev_number>
        <files>
          <file id='https://researchdata.gla.ac.uk/id/file/4520'>
            <fileid>4520</fileid>
            <datasetid>document</datasetid>
            <objectid>791</objectid>
            <filename>indexcodes.txt</filename>
            <mime_type>text/x-c</mime_type>
            <hash>a92d7169a7a1eea5f526c65b651446fe</hash>
            <hash_type>MD5</hash_type>
            <filesize>3593</filesize>
            <mtime>2016-04-27 15:07:12</mtime>
            <url>https://researchdata.gla.ac.uk/310/4/indexcodes.txt</url>
          </file>
        </files>
        <eprintid>310</eprintid>
        <pos>4</pos>
        <placement>4</placement>
        <mime_type>text/x-c</mime_type>
        <format>other</format>
        <formatdesc>Generate index codes conversion from Text to indexcodes</formatdesc>
        <language>en</language>
        <security>public</security>
        <main>indexcodes.txt</main>
        <relation>
          <item>
            <type>http://eprints.org/relation/isVersionOf</type>
            <uri>https://researchdata.gla.ac.uk/id/document/789</uri>
          </item>
          <item>
            <type>http://eprints.org/relation/isVolatileVersionOf</type>
            <uri>https://researchdata.gla.ac.uk/id/document/789</uri>
          </item>
          <item>
            <type>http://eprints.org/relation/isIndexCodesVersionOf</type>
            <uri>https://researchdata.gla.ac.uk/id/document/789</uri>
          </item>
        </relation>
      </document>
      <document id='https://researchdata.gla.ac.uk/id/document/792'>
        <docid>792</docid>
        <rev_number>1</rev_number>
        <files>
          <file id='https://researchdata.gla.ac.uk/id/file/4521'>
            <fileid>4521</fileid>
            <datasetid>document</datasetid>
            <objectid>792</objectid>
            <filename>indexcodes.txt</filename>
            <mime_type>text/plain</mime_type>
            <hash>9a19afb8b3387924780b1fa61c1e6177</hash>
            <hash_type>MD5</hash_type>
            <filesize>119</filesize>
            <mtime>2016-04-27 15:07:12</mtime>
            <url>https://researchdata.gla.ac.uk/310/5/indexcodes.txt</url>
          </file>
        </files>
        <eprintid>310</eprintid>
        <pos>5</pos>
        <placement>5</placement>
        <mime_type>text/plain</mime_type>
        <format>other</format>
        <formatdesc>Generate index codes conversion from Text to indexcodes</formatdesc>
        <language>en</language>
        <security>public</security>
        <main>indexcodes.txt</main>
        <relation>
          <item>
            <type>http://eprints.org/relation/isVersionOf</type>
            <uri>https://researchdata.gla.ac.uk/id/document/790</uri>
          </item>
          <item>
            <type>http://eprints.org/relation/isVolatileVersionOf</type>
            <uri>https://researchdata.gla.ac.uk/id/document/790</uri>
          </item>
          <item>
            <type>http://eprints.org/relation/isIndexCodesVersionOf</type>
            <uri>https://researchdata.gla.ac.uk/id/document/790</uri>
          </item>
        </relation>
      </document>
      <document id='https://researchdata.gla.ac.uk/id/document/793'>
        <docid>793</docid>
        <rev_number>2</rev_number>
        <files>
          <file id='https://researchdata.gla.ac.uk/id/file/4522'>
            <fileid>4522</fileid>
            <datasetid>document</datasetid>
            <objectid>793</objectid>
            <filename>lightbox.jpg</filename>
            <mime_type>image/png</mime_type>
            <hash>c8d17aab17345dcedbec46c5b62b87d4</hash>
            <hash_type>MD5</hash_type>
            <filesize>42300</filesize>
            <mtime>2016-04-27 15:09:46</mtime>
            <url>https://researchdata.gla.ac.uk/310/6/lightbox.jpg</url>
          </file>
        </files>
        <eprintid>310</eprintid>
        <pos>6</pos>
        <placement>6</placement>
        <mime_type>image/png</mime_type>
        <format>other</format>
        <formatdesc>Thumbnails conversion from Text to thumbnail_lightbox</formatdesc>
        <language>en</language>
        <security>public</security>
        <main>lightbox.jpg</main>
        <relation>
          <item>
            <type>http://eprints.org/relation/isVersionOf</type>
            <uri>https://researchdata.gla.ac.uk/id/document/789</uri>
          </item>
          <item>
            <type>http://eprints.org/relation/isVolatileVersionOf</type>
            <uri>https://researchdata.gla.ac.uk/id/document/789</uri>
          </item>
          <item>
            <type>http://eprints.org/relation/islightboxThumbnailVersionOf</type>
            <uri>https://researchdata.gla.ac.uk/id/document/789</uri>
          </item>
        </relation>
      </document>
      <document id='https://researchdata.gla.ac.uk/id/document/794'>
        <docid>794</docid>
        <rev_number>2</rev_number>
        <files>
          <file id='https://researchdata.gla.ac.uk/id/file/4523'>
            <fileid>4523</fileid>
            <datasetid>document</datasetid>
            <objectid>794</objectid>
            <filename>preview.jpg</filename>
            <mime_type>image/png</mime_type>
            <hash>9dd0360acc092520ff8a3a07ca06e8d1</hash>
            <hash_type>MD5</hash_type>
            <filesize>19721</filesize>
            <mtime>2016-04-27 15:09:46</mtime>
            <url>https://researchdata.gla.ac.uk/310/7/preview.jpg</url>
          </file>
        </files>
        <eprintid>310</eprintid>
        <pos>7</pos>
        <placement>7</placement>
        <mime_type>image/png</mime_type>
        <format>other</format>
        <formatdesc>Thumbnails conversion from Text to thumbnail_preview</formatdesc>
        <language>en</language>
        <security>public</security>
        <main>preview.jpg</main>
        <relation>
          <item>
            <type>http://eprints.org/relation/isVersionOf</type>
            <uri>https://researchdata.gla.ac.uk/id/document/789</uri>
          </item>
          <item>
            <type>http://eprints.org/relation/isVolatileVersionOf</type>
            <uri>https://researchdata.gla.ac.uk/id/document/789</uri>
          </item>
          <item>
            <type>http://eprints.org/relation/ispreviewThumbnailVersionOf</type>
            <uri>https://researchdata.gla.ac.uk/id/document/789</uri>
          </item>
        </relation>
      </document>
      <document id='https://researchdata.gla.ac.uk/id/document/795'>
        <docid>795</docid>
        <rev_number>2</rev_number>
        <files>
          <file id='https://researchdata.gla.ac.uk/id/file/4524'>
            <fileid>4524</fileid>
            <datasetid>document</datasetid>
            <objectid>795</objectid>
            <filename>medium.jpg</filename>
            <mime_type>image/png</mime_type>
            <hash>1f64d44916c2b6a283b3e6d286c7831d</hash>
            <hash_type>MD5</hash_type>
            <filesize>10296</filesize>
            <mtime>2016-04-27 15:09:46</mtime>
            <url>https://researchdata.gla.ac.uk/310/8/medium.jpg</url>
          </file>
        </files>
        <eprintid>310</eprintid>
        <pos>8</pos>
        <placement>8</placement>
        <mime_type>image/png</mime_type>
        <format>other</format>
        <formatdesc>Thumbnails conversion from Text to thumbnail_medium</formatdesc>
        <language>en</language>
        <security>public</security>
        <main>medium.jpg</main>
        <relation>
          <item>
            <type>http://eprints.org/relation/isVersionOf</type>
            <uri>https://researchdata.gla.ac.uk/id/document/789</uri>
          </item>
          <item>
            <type>http://eprints.org/relation/isVolatileVersionOf</type>
            <uri>https://researchdata.gla.ac.uk/id/document/789</uri>
          </item>
          <item>
            <type>http://eprints.org/relation/ismediumThumbnailVersionOf</type>
            <uri>https://researchdata.gla.ac.uk/id/document/789</uri>
          </item>
        </relation>
      </document>
      <document id='https://researchdata.gla.ac.uk/id/document/796'>
        <docid>796</docid>
        <rev_number>2</rev_number>
        <files>
          <file id='https://researchdata.gla.ac.uk/id/file/4525'>
            <fileid>4525</fileid>
            <datasetid>document</datasetid>
            <objectid>796</objectid>
            <filename>small.jpg</filename>
            <mime_type>image/png</mime_type>
            <hash>2673062b3429b3c5e899c2b030ba3a7c</hash>
            <hash_type>MD5</hash_type>
            <filesize>1580</filesize>
            <mtime>2016-04-27 15:09:46</mtime>
            <url>https://researchdata.gla.ac.uk/310/9/small.jpg</url>
          </file>
        </files>
        <eprintid>310</eprintid>
        <pos>9</pos>
        <placement>9</placement>
        <mime_type>image/png</mime_type>
        <format>other</format>
        <formatdesc>Thumbnails conversion from Text to thumbnail_small</formatdesc>
        <language>en</language>
        <security>public</security>
        <main>small.jpg</main>
        <relation>
          <item>
            <type>http://eprints.org/relation/isVersionOf</type>
            <uri>https://researchdata.gla.ac.uk/id/document/789</uri>
          </item>
          <item>
            <type>http://eprints.org/relation/isVolatileVersionOf</type>
            <uri>https://researchdata.gla.ac.uk/id/document/789</uri>
          </item>
          <item>
            <type>http://eprints.org/relation/issmallThumbnailVersionOf</type>
            <uri>https://researchdata.gla.ac.uk/id/document/789</uri>
          </item>
        </relation>
      </document>
    </documents>
    <eprint_status>archive</eprint_status>
    <userid>5</userid>
    <dir>disk0/00/00/03/10</dir>
    <datestamp>2016-04-27 15:06:33</datestamp>
    <lastmod>2026-04-07 08:42:02</lastmod>
    <status_changed>2016-04-27 15:06:33</status_changed>
    <type>data_collection</type>
    <metadata_visibility>show</metadata_visibility>
    <creators>
      <item>
        <name>
          <family>Kirwan</family>
          <given>Ryan</given>
        </name>
        <enlightenid>26384</enlightenid>
      </item>
      <item>
        <name>
          <family>Miller</family>
          <given>Alice</given>
        </name>
        <enlightenid>1503</enlightenid>
        <orcid>0000-0002-0941-1717</orcid>
      </item>
      <item>
        <name>
          <family>Porr</family>
          <given>Bernd</given>
        </name>
        <enlightenid>3000</enlightenid>
      </item>
    </creators>
    <uniqueid>glaresearchdata:2016-04-27-310</uniqueid>
    <title>Model checking learning agent systems using Promela with embedded C code and abstraction</title>
    <divisions>
      <item>30200000</item>
      <item>30303000</item>
    </divisions>
    <date>2016-04-27</date>
    <publisher>University of Glasgow</publisher>
    <id_number>10.5525/gla.researchdata.310</id_number>
    <data_type>
      <item>Code</item>
      <item>Text</item>
    </data_type>
    <pending>FALSE</pending>
    <language>en</language>
    <retention_date>2036-04-07</retention_date>
    <retention_action>R</retention_action>
    <retention_comment>2026-04-07 AA Original retention date 2026-04-27. Extended to 10 years from date of last access.</retention_comment>
    <ethics_consent_required>FALSE</ethics_consent_required>
    <request_copy>FALSE</request_copy>
    <repo_link>
      <item>
        <title>Model checking learning agent systems using Promela with embedded C code and abstraction</title>
        <link>http://eprints.gla.ac.uk/id/eprint/118815</link>
      </item>
    </repo_link>
  </eprint>
</eprints>
