{"status":"OK","data":{"id":67320,"identifier":"dans-zyz-9gb9","persistentUrl":"https://doi.org/10.17026/DANS-ZYZ-9GB9","protocol":"doi","authority":"10.17026","separator":"/","publisher":"DANS Data Station Physical and Technical Sciences","publicationDate":"2020-07-13","storageIdentifier":"surf://10.17026/dans-zyz-9gb9","effectiveDatasetFileCountLimit":10000,"datasetFileUploadsAvailable":9918,"datasetType":"dataset","locks":[],"latestVersion":{"id":1098,"datasetId":67320,"datasetPersistentId":"doi:10.17026/DANS-ZYZ-9GB9","datasetType":"dataset","storageIdentifier":"surf://10.17026/dans-zyz-9gb9","versionNumber":2,"internalVersionNumber":169,"versionMinorNumber":0,"versionState":"RELEASED","latestVersionPublishingState":"RELEASED","deaccessionLink":"","distributionDate":"2020-07-08","productionDate":"2020-01-01","lastUpdateTime":"2023-11-11T17:54:10Z","releaseTime":"2020-07-12T22:00:00Z","createTime":"2023-11-11T17:53:21Z","publicationDate":"2020-07-13","citationDate":"2020-07-13","effectiveDatasetFileCountLimit":10000,"datasetFileUploadsAvailable":9918,"license":{"name":"CC-BY-4.0","uri":"http://creativecommons.org/licenses/by/4.0","iconUri":"https://licensebuttons.net/l/by/4.0/88x31.png"},"termsOfAccess":"N/a","fileAccessRequest":false,"metadataBlocks":{"citation":{"displayName":"Citation Metadata","name":"citation","fields":[{"typeName":"title","multiple":false,"typeClass":"primitive","value":"State Identification for Labeled Transition Systems with Inputs and Outputs: Software and Case Study Computation Results"},{"typeName":"otherId","multiple":true,"typeClass":"compound","value":[{"otherIdAgency":{"typeName":"otherIdAgency","multiple":false,"typeClass":"primitive","value":"DANS-KNAW"},"otherIdValue":{"typeName":"otherIdValue","multiple":false,"typeClass":"primitive","value":"easy-dataset:170462"}},{"otherIdValue":{"typeName":"otherIdValue","multiple":false,"typeClass":"primitive","value":"659280"}}]},{"typeName":"author","multiple":true,"typeClass":"compound","value":[{"authorName":{"typeName":"authorName","multiple":false,"typeClass":"primitive","value":"P. van den Bos"},"authorAffiliation":{"typeName":"authorAffiliation","multiple":false,"typeClass":"primitive","value":"Radboud University"},"authorIdentifierScheme":{"typeName":"authorIdentifierScheme","multiple":false,"typeClass":"controlledVocabulary","value":"DAI"},"authorIdentifier":{"typeName":"authorIdentifier","multiple":false,"typeClass":"primitive","value":"info:eu-repo/dai/nl/416834558"}}]},{"typeName":"datasetContact","multiple":true,"typeClass":"compound","value":[{"datasetContactName":{"typeName":"datasetContactName","multiple":false,"typeClass":"primitive","value":"RU  Radboud University"}}]},{"typeName":"dsDescription","multiple":true,"typeClass":"compound","value":[{"dsDescriptionValue":{"typeName":"dsDescriptionValue","multiple":false,"typeClass":"primitive","value":"<p>The data set contains source code and an executable for computing adaptive distinguishing tests. Also, it contains dot-files representing the labeled transition systems of the used case studies, and all the intermediate computation results the software produces. The dataset is part of the research from Chapter 3 of the PhD thesis \"Coverage and Games in Model-Based Testing\" by Petra van den Bos. This chapter is an extenstion of the conference paper \"State Identification for Labeled Transition Systems with Inputs and Outputs\" by Petra van den Bos and Frits Vaandrager. The tables from the chapter can be reproduced by executing the software.</p>"}}]},{"typeName":"subject","multiple":true,"typeClass":"controlledVocabulary","value":["Computer and Information Science"]},{"typeName":"keyword","multiple":true,"typeClass":"compound","value":[{"keywordValue":{"typeName":"keywordValue","multiple":false,"typeClass":"primitive","value":"state identification"}},{"keywordValue":{"typeName":"keywordValue","multiple":false,"typeClass":"primitive","value":"labeled transition systems"}},{"keywordValue":{"typeName":"keywordValue","multiple":false,"typeClass":"primitive","value":"computer science"}}]},{"typeName":"language","multiple":true,"typeClass":"controlledVocabulary","value":["English"]},{"typeName":"productionDate","multiple":false,"typeClass":"primitive","value":"2020-01-01"},{"typeName":"distributionDate","multiple":false,"typeClass":"primitive","value":"2020-07-08"},{"typeName":"dateOfDeposit","multiple":false,"typeClass":"primitive","value":"2020-07-10"}]},"dansRights":{"displayName":"Rights Metadata","name":"dansRights","fields":[{"typeName":"dansRightsHolder","multiple":true,"typeClass":"primitive","value":["Radboud University"]},{"typeName":"dansPersonalDataPresent","multiple":false,"typeClass":"controlledVocabulary","value":"Unknown"}]},"dansRelationMetadata":{"displayName":"Relation Metadata","name":"dansRelationMetadata","fields":[{"typeName":"dansAudience","multiple":true,"typeClass":"primitive","value":["https://www.narcis.nl/classification/D16000"],"expandedvalue":[{"@id":"https://www.narcis.nl/classification/D16000","termName":[{"lang":"en","value":"Computer science"},{"lang":"nl","value":"Informatica"}],"vocabularyUri":"https://www.narcis.nl/classification/"}]}]},"dansDataVaultMetadata":{"displayName":"Data Vault Metadata","name":"dansDataVaultMetadata","fields":[{"typeName":"dansDataversePid","multiple":false,"typeClass":"primitive","value":"doi:10.17026/dans-zyz-9gb9"},{"typeName":"dansDataversePidVersion","multiple":false,"typeClass":"primitive","value":"2.0"},{"typeName":"dansBagId","multiple":false,"typeClass":"primitive","value":"urn:uuid:cf7f4941-eddf-40b8-a751-c924d6d5fee2"},{"typeName":"dansNbn","multiple":false,"typeClass":"primitive","value":"urn:nbn:nl:ui:13-5n-h8wm"}]}},"files":[{"description":"","label":"ADGDropbox-3.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/Dropbox-3","version":1,"datasetVersionId":1098,"dataFile":{"id":67387,"persistentId":"","filename":"ADGDropbox-3.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":502147,"description":"","storageIdentifier":"surf://store:18bbf849a00-1931c691e3d4","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"a8f131fdf4c36e69e31996e8b3e2f5ee22a5aedd"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/Dropbox-3","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"ADGDropbox-4.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/Dropbox-4","version":1,"datasetVersionId":1098,"dataFile":{"id":67346,"persistentId":"","filename":"ADGDropbox-4.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":17051497,"description":"","storageIdentifier":"surf://store:18bbf8462d8-844a4479a5e8","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"062c5ab235d70f1a0712c00480be842e24354228"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/Dropbox-4","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"ADGESM-IE.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/ESM-IE","version":1,"datasetVersionId":1098,"dataFile":{"id":67373,"persistentId":"","filename":"ADGESM-IE.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":16833668,"description":"","storageIdentifier":"surf://store:18bbf84871e-34c48ceaf633","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"06061d6adfcc5900f5e39a19494ffeb9f557634c"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/ESM-IE","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"ADGESM-IISl.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/ESM-IISL","version":1,"datasetVersionId":1098,"dataFile":{"id":67375,"persistentId":"","filename":"ADGESM-IISl.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":1459607,"description":"","storageIdentifier":"surf://store:18bbf848e3b-438a23b12226","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"089b5799c2afe7b1a9996af71ec6fa5058a0e407"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/ESM-IISL","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"ADGESM-IISR.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/ESM-IISR","version":1,"datasetVersionId":1098,"dataFile":{"id":67385,"persistentId":"","filename":"ADGESM-IISR.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":2425912,"description":"","storageIdentifier":"surf://store:18bbf849836-1d4de41b058f","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"edca1a7ed6a82bab5f69430cb7a1f78af9584ccd"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/ESM-IISR","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"ADGESM-IISSl.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/ESM-IISSl","version":1,"datasetVersionId":1098,"dataFile":{"id":67366,"persistentId":"","filename":"ADGESM-IISSl.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":4683520,"description":"","storageIdentifier":"surf://store:18bbf848151-1bf45a4c6057","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"9bb6bd66c6e3f6da7f3f6eb73e8713bd297b40fb"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/ESM-IISSl","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"adg-exe","restricted":false,"directoryLabel":"data/StateIdentificationSoftware","version":1,"datasetVersionId":1098,"dataFile":{"id":67400,"persistentId":"","filename":"adg-exe","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":3513288,"description":"","storageIdentifier":"surf://store:18bbf84c47f-15e1dbf6e251","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"7aa7946c192dddda799d4d878a1dd272f8e1ca67"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"ADGLE-3Center.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/LE-3Center","version":1,"datasetVersionId":1098,"dataFile":{"id":67330,"persistentId":"","filename":"ADGLE-3Center.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":68256,"description":"","storageIdentifier":"surf://store:18bbf8456ba-f4a962abb2fa","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"e907ca991963297f12e4f0aeff812206ad8b4ab0"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/LE-3Center","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"ADGLE-3Side.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/LE-3Side","version":1,"datasetVersionId":1098,"dataFile":{"id":67378,"persistentId":"","filename":"ADGLE-3Side.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":157305,"description":"","storageIdentifier":"surf://store:18bbf849047-6912facfcae4","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"da7ff6c7f75c9f114aacf3ef5c216c35bc78cf7d"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/LE-3Side","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"ADGLE-4.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/LE-4","version":1,"datasetVersionId":1098,"dataFile":{"id":67338,"persistentId":"","filename":"ADGLE-4.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":4790669,"description":"","storageIdentifier":"surf://store:18bbf845c04-344133d0344e","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"bd144308056afd11a6545e5d32dd066daf65f887"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/LE-4","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"ADGTCP.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/TCP","version":1,"datasetVersionId":1098,"dataFile":{"id":67349,"persistentId":"","filename":"ADGTCP.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":1152,"description":"","storageIdentifier":"surf://store:18bbf84650d-7e0ad0a367cb","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"88afd0feefb1078d1faedeedff6abd55aba0a5c3"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/TCP","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"ADGVM-000.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/VM-000","version":1,"datasetVersionId":1098,"dataFile":{"id":67326,"persistentId":"","filename":"ADGVM-000.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":341921,"description":"","storageIdentifier":"surf://store:18bbf84533c-1b02ac61ef71","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"68b4517d4458a8bb7b9f71a9ca6274f79a30f0de"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/VM-000","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"ADGVM-121.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/VM-121","version":1,"datasetVersionId":1098,"dataFile":{"id":67327,"persistentId":"","filename":"ADGVM-121.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":539975,"description":"","storageIdentifier":"surf://store:18bbf8453af-488203ad7b8b","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"2d3a8884d314de4490bb759283162a648210c31f"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/VM-121","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"ADGVM-231.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/VM-231","version":1,"datasetVersionId":1098,"dataFile":{"id":67356,"persistentId":"","filename":"ADGVM-231.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":1181923,"description":"","storageIdentifier":"surf://store:18bbf846ee7-03b0dbb07c26","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"09269597af5af66d77ff22f765907f32b2ad3a95"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/VM-231","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"Aut.hs","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","version":1,"datasetVersionId":1098,"dataFile":{"id":67351,"persistentId":"","filename":"Aut.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":11166,"description":"","storageIdentifier":"surf://store:18bbf84665d-9469bf25bfb7","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"4deac5ccc9acc8b5597cf3fc98f8a459fb45f4c7"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"AutomataDot.hs","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","version":1,"datasetVersionId":1098,"dataFile":{"id":67350,"persistentId":"","filename":"AutomataDot.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":14365,"description":"","storageIdentifier":"surf://store:18bbf84657e-c145ef5e71e6","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"40982a482f49de480a509fdce1bd05534606c74a"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"AutomatonDropbox-3.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/Dropbox-3","version":1,"datasetVersionId":1098,"dataFile":{"id":67368,"persistentId":"","filename":"AutomatonDropbox-3.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":217219,"description":"","storageIdentifier":"surf://store:18bbf848347-14e1be0e6c85","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"cbe77f1459b1cc3084e4be586fde1dcc88b8768e"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/Dropbox-3","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"AutomatonDropbox-4.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/Dropbox-4","version":1,"datasetVersionId":1098,"dataFile":{"id":67371,"persistentId":"","filename":"AutomatonDropbox-4.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":1501484,"description":"","storageIdentifier":"surf://store:18bbf848550-20f581a3f7a4","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"e111bd67cc250db079852932e46c329f010e9b81"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/Dropbox-4","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"AutomatonESM-IE.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/ESM-IE","version":1,"datasetVersionId":1098,"dataFile":{"id":67352,"persistentId":"","filename":"AutomatonESM-IE.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":1121016,"description":"","storageIdentifier":"surf://store:18bbf8466e4-a1bedf3ce68a","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"5f556a0722b5beaf36bf0589181d7fe39e8c228c"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/ESM-IE","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"AutomatonESM-IISl.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/ESM-IISL","version":1,"datasetVersionId":1098,"dataFile":{"id":67392,"persistentId":"","filename":"AutomatonESM-IISl.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":621326,"description":"","storageIdentifier":"surf://store:18bbf849e37-2c5a452d78e2","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"45d41404370f00642d3dbc7c533555d602c698e2"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/ESM-IISL","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"AutomatonESM-IISR.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/ESM-IISR","version":1,"datasetVersionId":1098,"dataFile":{"id":67336,"persistentId":"","filename":"AutomatonESM-IISR.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":1136015,"description":"","storageIdentifier":"surf://store:18bbf845aa3-71df55368c2e","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"516333da11a63480b7802df3c4d18f9e9ff765f3"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/ESM-IISR","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"AutomatonESM-IISSl.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/ESM-IISSl","version":1,"datasetVersionId":1098,"dataFile":{"id":67358,"persistentId":"","filename":"AutomatonESM-IISSl.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":1429078,"description":"","storageIdentifier":"surf://store:18bbf847032-6b2ffac0fd90","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"dae50555b9420ac4e247c29c305d76a468e05a2f"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/ESM-IISSl","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"AutomatonLE-3Center.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/LE-3Center","version":1,"datasetVersionId":1098,"dataFile":{"id":67337,"persistentId":"","filename":"AutomatonLE-3Center.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":41759,"description":"","storageIdentifier":"surf://store:18bbf845b82-e7ead1aa1c08","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"95ffcf229748cc243619a55be1a98549ea6a7903"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/LE-3Center","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"AutomatonLE-3Side.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/LE-3Side","version":1,"datasetVersionId":1098,"dataFile":{"id":67339,"persistentId":"","filename":"AutomatonLE-3Side.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":61689,"description":"","storageIdentifier":"surf://store:18bbf845ccd-be81646f702f","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"012ea3b4c5e1155c1b536aa420cfd28fb0e17665"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/LE-3Side","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"AutomatonLE-4.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/LE-4","version":1,"datasetVersionId":1098,"dataFile":{"id":67347,"persistentId":"","filename":"AutomatonLE-4.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":472440,"description":"","storageIdentifier":"surf://store:18bbf8463c4-9f9a152bd243","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"3f1d2dc86465d9eec79356c4be3cf130aa5ca029"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/LE-4","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"AutomatonTCP.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/TCP","version":1,"datasetVersionId":1098,"dataFile":{"id":67396,"persistentId":"","filename":"AutomatonTCP.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":6404,"description":"","storageIdentifier":"surf://store:18bbf84bf61-7ec576a0fdd6","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"fcb928e2718365159c67ebb9c3df705a81331f6c"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/TCP","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"AutomatonVM-000.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/VM-000","version":1,"datasetVersionId":1098,"dataFile":{"id":67333,"persistentId":"","filename":"AutomatonVM-000.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":130351,"description":"","storageIdentifier":"surf://store:18bbf8458e2-0500a6c38f9d","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"4bee5b19dca0bdacc0afef30baf920354d338039"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/VM-000","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"AutomatonVM-121.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/VM-121","version":1,"datasetVersionId":1098,"dataFile":{"id":67384,"persistentId":"","filename":"AutomatonVM-121.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":192594,"description":"","storageIdentifier":"surf://store:18bbf84977f-518d35c0b193","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"00b595419862b5064c6161fb74fa835c4765c392"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/VM-121","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"AutomatonVM-231.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/VM-231","version":1,"datasetVersionId":1098,"dataFile":{"id":67344,"persistentId":"","filename":"AutomatonVM-231.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":377748,"description":"","storageIdentifier":"surf://store:18bbf846127-65592bc8198e","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"4d7ff6e09f935bba46b1f76dc4cf2487a7ca511d"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/VM-231","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"CompRelDropbox-3.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/Dropbox-3","version":1,"datasetVersionId":1098,"dataFile":{"id":67376,"persistentId":"","filename":"CompRelDropbox-3.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":443224,"description":"","storageIdentifier":"surf://store:18bbf848eef-0d25560f9c32","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"d3144d83e7cede00e7bf5125467e7f79470db672"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/Dropbox-3","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"CompRelDropbox-4.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/Dropbox-4","version":1,"datasetVersionId":1098,"dataFile":{"id":67357,"persistentId":"","filename":"CompRelDropbox-4.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":2752652,"description":"","storageIdentifier":"surf://store:18bbf846f8f-e43e7d1fff0e","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"aede09e7c960c5e0eec8803d77dba901a5ff1ea3"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/Dropbox-4","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"CompRelESM-IE.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/ESM-IE","version":1,"datasetVersionId":1098,"dataFile":{"id":67365,"persistentId":"","filename":"CompRelESM-IE.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":261506788,"description":"","storageIdentifier":"surf://store:18bbf8479b6-c70061db9a89","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"e2017494c09c8646a244138bf6dea797313ed910"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/ESM-IE","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"CompRelESM-IISl.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/ESM-IISL","version":1,"datasetVersionId":1098,"dataFile":{"id":67386,"persistentId":"","filename":"CompRelESM-IISl.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":7320804,"description":"","storageIdentifier":"surf://store:18bbf849910-64a020daa5ee","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"1ac86c77ee81f5b495df50d8d288b8da388f5312"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/ESM-IISL","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"CompRelESM-IISR.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/ESM-IISR","version":1,"datasetVersionId":1098,"dataFile":{"id":67399,"persistentId":"","filename":"CompRelESM-IISR.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":7382872,"description":"","storageIdentifier":"surf://store:18bbf84c349-e48d629285a1","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"c98b9106eed2b3e99707294718d87287218559e3"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/ESM-IISR","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"CompRelESM-IISSl.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/ESM-IISSl","version":1,"datasetVersionId":1098,"dataFile":{"id":67332,"persistentId":"","filename":"CompRelESM-IISSl.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":13797160,"description":"","storageIdentifier":"surf://store:18bbf8457be-e4c24698d1e5","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"ceef04cbda52b3e7eb13221a3f0cbf677f3914a7"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/ESM-IISSl","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"CompRelLE-3Center.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/LE-3Center","version":1,"datasetVersionId":1098,"dataFile":{"id":67380,"persistentId":"","filename":"CompRelLE-3Center.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":140644,"description":"","storageIdentifier":"surf://store:18bbf8491ca-0872c845b254","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"7e849c99137d2a570293d2f478b89d0d4bc41863"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/LE-3Center","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"CompRelLE-3Side.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/LE-3Side","version":1,"datasetVersionId":1098,"dataFile":{"id":67348,"persistentId":"","filename":"CompRelLE-3Side.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":382400,"description":"","storageIdentifier":"surf://store:18bbf84643d-2520c603ce73","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"592d1d498508af48e96a8d02f24a6f052c77fd8f"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/LE-3Side","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"CompRelLE-4.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/LE-4","version":1,"datasetVersionId":1098,"dataFile":{"id":67329,"persistentId":"","filename":"CompRelLE-4.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":2483732,"description":"","storageIdentifier":"surf://store:18bbf8455f2-a48759a73cf0","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"5ccd9fdec7c9e2ce75d1b537d8040a66ba1633d7"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/LE-4","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"CompRelTCP.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/TCP","version":1,"datasetVersionId":1098,"dataFile":{"id":67353,"persistentId":"","filename":"CompRelTCP.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":24108,"description":"","storageIdentifier":"surf://store:18bbf8467a9-3854d55d378b","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"b457885bd0575bd19b44295bbfe819b017f0c52d"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/TCP","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"CompRelVM-000.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/VM-000","version":1,"datasetVersionId":1098,"dataFile":{"id":67377,"persistentId":"","filename":"CompRelVM-000.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":996612,"description":"","storageIdentifier":"surf://store:18bbf848f9a-a7c1f6f84ea3","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"a3de1df6e39db9d41fca0a0cb434e11ad41fa3e8"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/VM-000","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"CompRelVM-121.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/VM-121","version":1,"datasetVersionId":1098,"dataFile":{"id":67354,"persistentId":"","filename":"CompRelVM-121.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":1678084,"description":"","storageIdentifier":"surf://store:18bbf846825-95f30a5a591b","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"d5cb144bd4e3fa20a009cb3349fa220baae545da"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/VM-121","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"CompRelVM-231.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/VM-231","version":1,"datasetVersionId":1098,"dataFile":{"id":67391,"persistentId":"","filename":"CompRelVM-231.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":4710576,"description":"","storageIdentifier":"surf://store:18bbf849d5e-8e0b3ccf8d2a","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"ec8e785e7565de8568910549d6537f94672ce96d"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/VM-231","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"DansDatasetMetadata.xml","restricted":false,"version":2,"datasetVersionId":1098,"dataFile":{"id":67322,"persistentId":"","filename":"DansDatasetMetadata.xml","contentType":"text/xml","friendlyType":"XML","filesize":2662,"description":"","storageIdentifier":"surf://store:18bbf83f4e0-2f2d54c4a7b2","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"26c52de01ae837a39bf94e62428ba20e3bffe72c"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"DatasetContent.txt","restricted":false,"directoryLabel":"data","version":2,"datasetVersionId":1098,"dataFile":{"id":67323,"persistentId":"","filename":"DatasetContent.txt","contentType":"text/plain","friendlyType":"Plain Text","filesize":470,"description":"","storageIdentifier":"surf://store:18bbf83f52b-bf88b93f3a58","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"c3ce6962cc83e4eac6683450d5db766904d7a87b"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"DistGraphConstruction.hs","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","version":1,"datasetVersionId":1098,"dataFile":{"id":67328,"persistentId":"","filename":"DistGraphConstruction.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":4817,"description":"","storageIdentifier":"surf://store:18bbf845512-0059bb9a92c4","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"a6c19713cfd05c05351fb5f028ed4cdffb11e87d"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"DistGraph.hs","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","version":1,"datasetVersionId":1098,"dataFile":{"id":67343,"persistentId":"","filename":"DistGraph.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":6162,"description":"","storageIdentifier":"surf://store:18bbf846043-ee48e3a715c7","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"a34f952dad9978e793a0bdbe460a23a710d690eb"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"Dropbox-3.dot","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","version":1,"datasetVersionId":1098,"dataFile":{"id":67394,"persistentId":"","filename":"Dropbox-3.dot","contentType":"application/msword","friendlyType":"MS Word","filesize":130953,"description":"","storageIdentifier":"surf://store:18bbf849fa6-04dd38eaed32","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"34ff8e51122e8fc54374b79f76b4111d6360c01e"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"Dropbox-4.dot","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","version":1,"datasetVersionId":1098,"dataFile":{"id":67402,"persistentId":"","filename":"Dropbox-4.dot","contentType":"application/msword","friendlyType":"MS Word","filesize":1017993,"description":"","storageIdentifier":"surf://store:18bbf84c6f5-6c260a2fe0ab","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"039cc1278b0443e6f5d44e85ce995651ca0163fa"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"easy-migration.zip","restricted":false,"version":2,"datasetVersionId":1098,"dataFile":{"id":67325,"persistentId":"","filename":"easy-migration.zip","contentType":"application/zip","friendlyType":"ZIP Archive","filesize":47394,"description":"","storageIdentifier":"surf://store:18bbf845252-7d357953553d","rootDataFileId":67321,"previousDataFileId":67321,"checksum":{"type":"SHA-1","value":"a14e5dd95547888f5a16f6bc0c8a41ea9b6b7303"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"ESM.dot","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","version":1,"datasetVersionId":1098,"dataFile":{"id":67340,"persistentId":"","filename":"ESM.dot","contentType":"application/msword","friendlyType":"MS Word","filesize":10757607,"description":"","storageIdentifier":"surf://store:18bbf845d67-dc7126827254","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"5639e62cf1ab27a6de4b777fbf952cc82c5deaa5"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"InputSelection.hs","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","version":1,"datasetVersionId":1098,"dataFile":{"id":67388,"persistentId":"","filename":"InputSelection.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":2776,"description":"","storageIdentifier":"surf://store:18bbf849afd-fe2c07fac2c3","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"7df32bda2657e3310a9054b39efecc5b9b8ea18e"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"LE-3Center.dot","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","version":1,"datasetVersionId":1098,"dataFile":{"id":67334,"persistentId":"","filename":"LE-3Center.dot","contentType":"application/msword","friendlyType":"MS Word","filesize":125795,"description":"","storageIdentifier":"surf://store:18bbf84594b-d83a79f1dbc6","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"cb42787c85767b037a27562ba0ee6a8bf59d979d"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"LE-3Side.dot","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","version":1,"datasetVersionId":1098,"dataFile":{"id":67361,"persistentId":"","filename":"LE-3Side.dot","contentType":"application/msword","friendlyType":"MS Word","filesize":274312,"description":"","storageIdentifier":"surf://store:18bbf84733a-f47ec0ab6a66","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"64baf2cb64920d7c1c8d54be98a4f0d3ac8d71c8"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"LE-4.dot","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","version":1,"datasetVersionId":1098,"dataFile":{"id":67390,"persistentId":"","filename":"LE-4.dot","contentType":"application/msword","friendlyType":"MS Word","filesize":2482367,"description":"","storageIdentifier":"surf://store:18bbf849c7e-941719e17744","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"b8c1aa04466583478c39507309bfd309d007a74a"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"Main.hs","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/SourceCode/app","version":1,"datasetVersionId":1098,"dataFile":{"id":67381,"persistentId":"","filename":"Main.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":65,"description":"","storageIdentifier":"surf://store:18bbf849270-1b853750dcb1","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"38b2f5ce5ddd9bfc267072c772723f0d81eac72c"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/SourceCode/app","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"MealyMoore.hs","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","version":1,"datasetVersionId":1098,"dataFile":{"id":67331,"persistentId":"","filename":"MealyMoore.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":3873,"description":"","storageIdentifier":"surf://store:18bbf845721-a49dfb2f7c69","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"6ac7a2c55bdc3ac2942a5becdea941e33d9f1681"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"NComp.hs","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","version":1,"datasetVersionId":1098,"dataFile":{"id":67398,"persistentId":"","filename":"NComp.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":5289,"description":"","storageIdentifier":"surf://store:18bbf84c23d-4f08547297b8","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"d77a5d8f1f1e2dcbc12d6b47209cbcd7f782ab29"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"package.yaml","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/SourceCode","version":1,"datasetVersionId":1098,"dataFile":{"id":67362,"persistentId":"","filename":"package.yaml","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":1329,"description":"","storageIdentifier":"surf://store:18bbf847443-496cff297596","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"e7b3fad613e186287c706940cae2f2f45e7ae392"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/SourceCode","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"ParseDot.hs","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","version":1,"datasetVersionId":1098,"dataFile":{"id":67345,"persistentId":"","filename":"ParseDot.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":2487,"description":"","storageIdentifier":"surf://store:18bbf846197-c575c01ba150","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"f31e8bce27cab84582449042ce927df666c60c7d"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"README.md","restricted":false,"directoryLabel":"data/StateIdentificationSoftware","version":1,"datasetVersionId":1098,"dataFile":{"id":67369,"persistentId":"","filename":"README.md","contentType":"text/markdown","friendlyType":"Markdown Text","filesize":1141,"description":"","storageIdentifier":"surf://store:18bbf8483d5-7fe0d8c2b029","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"9b0b5bf0292284ff47207af363c22e93442afd4d"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"SpitGraphDropbox-3.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/Dropbox-3","version":1,"datasetVersionId":1098,"dataFile":{"id":67363,"persistentId":"","filename":"SpitGraphDropbox-3.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":5900686,"description":"","storageIdentifier":"surf://store:18bbf8474de-a7b4ac83127a","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"551c5186625870a3f13bd0231cd28bda4343241e"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/Dropbox-3","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"SpitGraphDropbox-4.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/Dropbox-4","version":1,"datasetVersionId":1098,"dataFile":{"id":67374,"persistentId":"","filename":"SpitGraphDropbox-4.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":132447165,"description":"","storageIdentifier":"surf://store:18bbf8489ea-44cae43bf38b","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"8d0c581ef4c666f6dc73d87b4a7e61aabc179d96"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/Dropbox-4","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"SpitGraphESM-IE.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/ESM-IE","version":1,"datasetVersionId":1098,"dataFile":{"id":67355,"persistentId":"","filename":"SpitGraphESM-IE.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":133567389,"description":"","storageIdentifier":"surf://store:18bbf846ae2-27c8f23daf65","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"93d96ed71cb1f5685a40fda2f79a0460b6750b3d"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/ESM-IE","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"SpitGraphESM-IISl.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/ESM-IISL","version":1,"datasetVersionId":1098,"dataFile":{"id":67397,"persistentId":"","filename":"SpitGraphESM-IISl.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":15650476,"description":"","storageIdentifier":"surf://store:18bbf84c0d3-c605e2525fdc","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"fa8fd30385e9cb8275dae47ce0b4ce9aeddc359f"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/ESM-IISL","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"SpitGraphESM-IISR.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/ESM-IISR","version":1,"datasetVersionId":1098,"dataFile":{"id":67341,"persistentId":"","filename":"SpitGraphESM-IISR.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":20504155,"description":"","storageIdentifier":"surf://store:18bbf845ed8-2576452b36b3","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"4aa060ef5faedf8bb224c468aeef429c9bb28db2"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/ESM-IISR","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"SpitGraphESM-IISSl.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/ESM-IISSl","version":1,"datasetVersionId":1098,"dataFile":{"id":67383,"persistentId":"","filename":"SpitGraphESM-IISSl.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":35462095,"description":"","storageIdentifier":"surf://store:18bbf8495d5-4ff4a5c64adb","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"33e2733f7b703f948670ae00708215e2c3cb3245"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/ESM-IISSl","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"SpitGraphLE-3Center.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/LE-3Center","version":1,"datasetVersionId":1098,"dataFile":{"id":67364,"persistentId":"","filename":"SpitGraphLE-3Center.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":1811977,"description":"","storageIdentifier":"surf://store:18bbf8475c4-abe6278e1421","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"fe90ab3e3ae843729a3617893ef4034c3312875b"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/LE-3Center","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"SpitGraphLE-3Side.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/LE-3Side","version":1,"datasetVersionId":1098,"dataFile":{"id":67382,"persistentId":"","filename":"SpitGraphLE-3Side.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":40924753,"description":"","storageIdentifier":"surf://store:18bbf8493a4-e6579a6e1420","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"c6f98694c7f36e40f7d92fd8c7dff44cedb6a0a6"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/LE-3Side","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"SpitGraphLE-4.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/LE-4","version":1,"datasetVersionId":1098,"dataFile":{"id":67395,"persistentId":"","filename":"SpitGraphLE-4.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":719727626,"description":"","storageIdentifier":"surf://store:18bbf84aa2e-870c456f94b0","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"69cc993407af88f414e47d8d2734ef9c0d65077c"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/LE-4","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"SpitGraphTCP.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/TCP","version":1,"datasetVersionId":1098,"dataFile":{"id":67342,"persistentId":"","filename":"SpitGraphTCP.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":32532,"description":"","storageIdentifier":"surf://store:18bbf845fd6-3f014e53cd6d","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"943c45011b4026e5415e1fd0e0e28aab24d3e9dc"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/TCP","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"SpitGraphVM-000.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/VM-000","version":1,"datasetVersionId":1098,"dataFile":{"id":67401,"persistentId":"","filename":"SpitGraphVM-000.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":9466815,"description":"","storageIdentifier":"surf://store:18bbf84c5c1-fe295546d5be","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"b54e9b90cd24fa4be4d52fbbabb57a008a68a7d4"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/VM-000","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"SpitGraphVM-121.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/VM-121","version":1,"datasetVersionId":1098,"dataFile":{"id":67367,"persistentId":"","filename":"SpitGraphVM-121.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":16239517,"description":"","storageIdentifier":"surf://store:18bbf84823f-f13ee72f002c","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"babb1b0688ad6b93399e2977c98081709143cf91"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/VM-121","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"SpitGraphVM-231.serialized","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/VM-231","version":1,"datasetVersionId":1098,"dataFile":{"id":67359,"persistentId":"","filename":"SpitGraphVM-231.serialized","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":33581868,"description":"","storageIdentifier":"surf://store:18bbf847138-5ab2280dee4b","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"abe286cb923229450ac453604ade4cb2a688106e"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/VM-231","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"SplitGraph.hs","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","version":1,"datasetVersionId":1098,"dataFile":{"id":67370,"persistentId":"","filename":"SplitGraph.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":27211,"description":"","storageIdentifier":"surf://store:18bbf8484be-6524111dd52f","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"82bcaa539e87855f165c9b013b589c251e10daff"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"Statistics.hs","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","version":1,"datasetVersionId":1098,"dataFile":{"id":67360,"persistentId":"","filename":"Statistics.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":5734,"description":"","storageIdentifier":"surf://store:18bbf8472ab-6c51c6a2a391","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"b6cc743444458246af94309b28a95f84c45be706"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"SuspAut.hs","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","version":1,"datasetVersionId":1098,"dataFile":{"id":67379,"persistentId":"","filename":"SuspAut.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":4112,"description":"","storageIdentifier":"surf://store:18bbf8490ed-07f2260ceb2f","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"8a20c425862db490b8f0858b45a2026d17e806a3"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/SourceCode/src","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"TCP.dot","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","version":1,"datasetVersionId":1098,"dataFile":{"id":67335,"persistentId":"","filename":"TCP.dot","contentType":"application/msword","friendlyType":"MS Word","filesize":1528,"description":"","storageIdentifier":"surf://store:18bbf845a37-8fde4358039c","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"6f2fab5c45b57a34be983d80cb7766af11fc2f21"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"VM-000.dot","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","version":1,"datasetVersionId":1098,"dataFile":{"id":67372,"persistentId":"","filename":"VM-000.dot","contentType":"application/msword","friendlyType":"MS Word","filesize":63045,"description":"","storageIdentifier":"surf://store:18bbf848634-41b4b1d05a7d","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"ea862ab3786f7ab21bdd68f1ff480ed6cbbbd4cd"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"VM-121.dot","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","version":1,"datasetVersionId":1098,"dataFile":{"id":67389,"persistentId":"","filename":"VM-121.dot","contentType":"application/msword","friendlyType":"MS Word","filesize":93937,"description":"","storageIdentifier":"surf://store:18bbf849bb2-621360089ad6","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"e47ac77c8da2ad69792463cca94a26411c02c3b5"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}},{"description":"","label":"VM-231.dot","restricted":false,"directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","version":1,"datasetVersionId":1098,"dataFile":{"id":67393,"persistentId":"","filename":"VM-231.dot","contentType":"application/msword","friendlyType":"MS Word","filesize":186162,"description":"","storageIdentifier":"surf://store:18bbf849ef0-0662a2621410","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"095b07c10210482e30d939e3f920fde8500fb516"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-13","directoryLabel":"data/StateIdentificationSoftware/CaseStudyDots","lastUpdateTime":"2023-11-11T17:54:10Z","fileAccessRequest":false}}]}}}