{"@context":{"@vocab":"https://cir.nii.ac.jp/schema/1.0/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/","foaf":"http://xmlns.com/foaf/0.1/","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","datacite":"https://schema.datacite.org/meta/kernel-4/","ndl":"http://ndl.go.jp/dcndl/terms/","jpcoar":"https://github.com/JPCOAR/schema/blob/master/2.0/"},"@id":"https://cir.nii.ac.jp/crid/1380848655498787201.json","@type":"Researcher","foaf:Person":[{"foaf:name":[{"@value":"Xin Li"}],"foaf:familyName":[{"@value":"Li"}],"foaf:givenName":[{"@value":"Xin"}]}],"product":[{"@id":"https://cir.nii.ac.jp/crid/1360848655498787200","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.1007/978-3-319-46520-3_20"},{"@type":"URI","@value":"http://link.springer.com/content/pdf/10.1007/978-3-319-46520-3_20"}],"notation":[{"@value":"Equivalence-Based Abstraction Refinement for $$\\mu $$ HORS Model Checking"}],"relation":[{"type":"creator"}]}],"dataSourceIdentifier":[{"@type":"CROSSREF","@value":"10.1007/978-3-319-46520-3_20_HdFxQamFZqMNq57aToDlBdLoY9n"},{"@type":"OPENAIRE","@value":"doi_dedup___::8716d337a01004f8db4e298b67b5cd4b_HdFxQamFZqMNq57aToDlBdLoY9n"}]}