274 27 602 3 3562 document 602 SPINModel.tar application/x-tar ce436b84a28d24d1003e7b4f53b1ab7c MD5 1792512 2016-02-22 10:14:48 https://researchdata.gla.ac.uk/274/1/SPINModel.tar 274 1 1 application/x-tar Code en public cc_by_4

SPINModel.tar

data 603 3 3564 document 603 README.txt text/plain 2e3032efceb2c97f3e33cca8bd8a6570 MD5 1832 2016-02-22 10:14:53 https://researchdata.gla.ac.uk/274/2/README.txt 274 2 2 text/plain Text en public cc_by_4

README.txt

readme 604 1 3568 document 604 indexcodes.txt text/plain d273ed4c38be688647dd258a01a7a4ca MD5 596 2016-02-22 10:24:59 https://researchdata.gla.ac.uk/274/3/indexcodes.txt 274 3 3 text/plain other Generate index codes conversion from Text to indexcodes en public

indexcodes.txt

http://eprints.org/relation/isVersionOf https://researchdata.gla.ac.uk/id/document/603 http://eprints.org/relation/isVolatileVersionOf https://researchdata.gla.ac.uk/id/document/603 http://eprints.org/relation/isIndexCodesVersionOf https://researchdata.gla.ac.uk/id/document/603 archive 5 disk0/00/00/02/74 2016-02-22 10:11:17 2026-01-19 09:14:04 2016-02-22 10:51:12 data_collection show Hoffmann Ruth Ireland Murray Miller Alice Norman Gethin Veres Sandor glaresearchdata:2016-02-22-274 30200000 2016-02-22 University of Glasgow 10.5525/gla.researchdata.274 Code 70960 1 EPSRC: ISF 2015 - Runtime Verification of Autonomous Agents Alice Miller Engineering & Physical Sciences Research Council (EPSRC) EP/N508792/1 COM - COMPUTING SCIENCE FALSE English 2036-01-31 R 2026-01-19 AA Original retention date 2026-02-22. Extended to 10 years from date of last access. FALSE FALSE http://eprints.gla.ac.uk/id/eprint/116593