Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures View Full Text


Ontology type: schema:Book     


Book Info

DATE

2012

GENRE

Book

PUBLISHER

Springer Berlin Heidelberg

ABSTRACT

N/A

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-35746-6

DOI

http://dx.doi.org/10.1007/978-3-642-35746-6

ISBN

978-3-642-35745-9 | 978-3-642-35746-6

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1025908081


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "datePublished": "2012", 
    "datePublishedReg": "2012-01-01", 
    "editor": [
      {
        "familyName": "Meyer", 
        "givenName": "Bertrand", 
        "type": "Person"
      }, 
      {
        "familyName": "Nordio", 
        "givenName": "Martin", 
        "type": "Person"
      }
    ], 
    "genre": "book", 
    "id": "sg:pub.10.1007/978-3-642-35746-6", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isbn": [
      "978-3-642-35745-9", 
      "978-3-642-35746-6"
    ], 
    "name": "Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "7b6d60402215a310044551e5c38a2562b229b0851163e53aef7c65446e75fdab"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-35746-6"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1025908081"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-35746-6", 
      "https://app.dimensions.ai/details/publication/pub.1025908081"
    ], 
    "sdDataset": "books", 
    "sdDatePublished": "2019-04-12T04:03", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000372_0000000372/records_117117_00000001.jsonl", 
    "type": "Book", 
    "url": "https://link.springer.com/10.1007%2F978-3-642-35746-6"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-35746-6'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-35746-6'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-35746-6'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-35746-6'


 

This table displays all metadata directly associated to this object as RDF triples.

46 TRIPLES      18 PREDICATES      23 URIs      18 LITERALS      6 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-35746-6 schema:datePublished 2012
2 schema:datePublishedReg 2012-01-01
3 schema:editor Nb809e2cce2be45e188dc9c5c9c38ef98
4 schema:genre book
5 schema:inLanguage en
6 schema:isAccessibleForFree false
7 schema:isbn 978-3-642-35745-9
8 978-3-642-35746-6
9 schema:name Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
10 schema:productId N230e4c0a22cb491ebddff4af5f8dc418
11 N8dfcd1e32fbb44a387f165ed3e82c2cf
12 Nc11ff51617914509b8c1f66a0759cefb
13 schema:publisher N30bce90c6b8b4290ae8a004d61ccd87b
14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025908081
15 https://doi.org/10.1007/978-3-642-35746-6
16 schema:sdDatePublished 2019-04-12T04:03
17 schema:sdLicense https://scigraph.springernature.com/explorer/license/
18 schema:sdPublisher N50f5433dcb304bfcb3385ca1a137035a
19 schema:url https://link.springer.com/10.1007%2F978-3-642-35746-6
20 sgo:license sg:explorer/license/
21 sgo:sdDataset books
22 rdf:type schema:Book
23 N230e4c0a22cb491ebddff4af5f8dc418 schema:name dimensions_id
24 schema:value pub.1025908081
25 rdf:type schema:PropertyValue
26 N30bce90c6b8b4290ae8a004d61ccd87b schema:location Berlin, Heidelberg
27 schema:name Springer Berlin Heidelberg
28 rdf:type schema:Organisation
29 N50f5433dcb304bfcb3385ca1a137035a schema:name Springer Nature - SN SciGraph project
30 rdf:type schema:Organization
31 N566ae487ffcd4d3e8396bc682c442a54 schema:familyName Meyer
32 schema:givenName Bertrand
33 rdf:type schema:Person
34 N8dfcd1e32fbb44a387f165ed3e82c2cf schema:name doi
35 schema:value 10.1007/978-3-642-35746-6
36 rdf:type schema:PropertyValue
37 Nb3f3060921424fe18e7156094bfb8e73 schema:familyName Nordio
38 schema:givenName Martin
39 rdf:type schema:Person
40 Nb809e2cce2be45e188dc9c5c9c38ef98 rdf:first N566ae487ffcd4d3e8396bc682c442a54
41 rdf:rest Ne6f383f4c3d347bb92c045a47dcfd6f2
42 Nc11ff51617914509b8c1f66a0759cefb schema:name readcube_id
43 schema:value 7b6d60402215a310044551e5c38a2562b229b0851163e53aef7c65446e75fdab
44 rdf:type schema:PropertyValue
45 Ne6f383f4c3d347bb92c045a47dcfd6f2 rdf:first Nb3f3060921424fe18e7156094bfb8e73
46 rdf:rest rdf:nil
 




Preview window. Press ESC to close (or click here)


...