{
"id": "https://doi.org/10.22002/d1.217",
"doi": "10.22002/D1.217",
"url": "https://cd-sandbox.tind.io/records/217",
"types": {
"ris": "DATA",
"bibtex": "misc",
"citeproc": "dataset",
"schemaOrg": "Dataset",
"resourceTypeGeneral": "Dataset"
},
"creators": [
{
"name": "B",
"affiliation": []
}
],
"titles": [
{
"title": "a"
}
],
"publisher": {
"name": "CaltechDATA"
},
"container": {},
"subjects": [
{
"subject": "c"
}
],
"contributors": [],
"dates": [
{
"date": "2017-07-19",
"dateType": "Issued"
}
],
"publicationYear": 2017,
"language": "en",
"identifiers": [],
"sizes": [],
"formats": [],
"version": "1.0",
"rightsList": [],
"descriptions": [
{
"description": "d",
"descriptionType": "Other"
},
{
"description": "
Cite this record as:
Holzmann, G. Tau -- a lightweight tool for specifying and verifying tiny automata models (Version 0.3). Unknown. https://doi.org/10.22002/d1.217
or choose a different citation style",
"descriptionType": "Other"
}
],
"geoLocations": [],
"fundingReferences": [],
"relatedIdentifiers": [],
"schemaVersion": "http://datacite.org/schema/kernel-4",
"providerId": "tind",
"clientId": "tind.cal",
"agency": "datacite",
"state": "findable"
}