[{"data": {"name": "Ordinal theory for expressiveness of well-structured transition systems", "@type": "ScholarlyArticle", "genre": "journal-article", "author": [{"name": "R\u00e9mi Bonnet", "@type": "Person"}, {"name": "Alain Finkel", "@type": "Person"}, {"name": "Serge Haddad", "@type": "Person"}, {"name": "Fernando Rosa-Velardo", "@type": "Person"}], "license": "elsevier-specific: oa user license", "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "http://antares.sip.ucm.es/~frosa/docs/fossacs11.pdf", "encodingFormat": "application/pdf"}], "publisher": {"name": "Elsevier BV", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.1016/j.ic.2012.11.003", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCLizcJDJWA46-CTUtX1Cqgs9Dw-CDEuJ1ykS4e17-CR1B6K71uP4mf", "propertyID": "ISCC"}], "datePublished": "2013-03-01"}, "schema": "schema.org", "mediatype": "application/ld+json"}]