[{"data": {"name": "Formal Verification of Service Level Agreements Through Distributed Monitoring", "@type": "ScholarlyArticle", "genre": "book-chapter", "author": [{"name": "Behrooz Nobakht", "@type": "Person"}, {"name": "Stijn de Gouw", "@type": "Person"}, {"name": "Frank S. de Boer", "@type": "Person"}], "license": "cc-by", "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "https://ir.cwi.nl/pub/23711/23711A.pdf", "encodingFormat": "application/pdf"}], "publisher": {"name": "Springer International Publishing", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.1007/978-3-319-24072-5_9", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCUrBXh2EjME8-CTGEi3Umf8Zs3-CDhM36TbXp5zy-CRKQjXDYDqJGy", "propertyID": "ISCC"}], "datePublished": "2015-01-01"}, "schema": "schema.org", "mediatype": "application/ld+json"}]