[{"data": {"name": "Compositional Verification of a Multi-Agent System for One-to-Many Negotiation", "@type": "ScholarlyArticle", "genre": "journal-article", "author": [{"name": "Frances M.T. Brazier", "@type": "Person"}, {"name": "Frank Cornelissen", "@type": "Person"}, {"name": "Rune Gustavsson", "@type": "Person"}, {"name": "Catholijn M. Jonker", "@type": "Person"}, {"name": "Olle Lindeberg", "@type": "Person"}, {"name": "Bianca Polak", "@type": "Person"}, {"name": "Jan Treur", "@type": "Person"}], "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "http://www.few.vu.nl/~wai/Papers/APIN03lbveri.pdf", "encodingFormat": "application/pdf"}, {"@type": "MediaObject", "contentUrl": "https://research.vu.nl/ws/files/2433357/APIN03lbveri.pdf", "encodingFormat": "application/pdf"}], "publisher": {"name": "Springer Nature", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.1023/b:apin.0000013334.33853.0c", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCKYRRm3NXfpW-CTeRou6wYJGgN-CDcedTJB8SbK4-CRrjdBYf4gfKy", "propertyID": "ISCC"}], "datePublished": "2004-03-01"}, "schema": "schema.org", "mediatype": "application/ld+json"}]