Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected ... View Full Text


Ontology type: schema:Book     


Book Info

DATE

2008

GENRE

Book

PUBLISHER

Springer Berlin Heidelberg

ABSTRACT

N/A

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-69149-5

DOI

http://dx.doi.org/10.1007/978-3-540-69149-5

ISBN

978-3-540-69147-1 | 978-3-540-69149-5

DIMENSIONS

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


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": "2008", 
    "datePublishedReg": "2008-01-01", 
    "editor": [
      {
        "familyName": "Meyer", 
        "givenName": "Bertrand", 
        "type": "Person"
      }, 
      {
        "familyName": "Woodcock", 
        "givenName": "Jim", 
        "type": "Person"
      }
    ], 
    "genre": "book", 
    "id": "sg:pub.10.1007/978-3-540-69149-5", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isbn": [
      "978-3-540-69147-1", 
      "978-3-540-69149-5"
    ], 
    "name": "Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "f922d3751470a0bf93db72be15b3e6adc8549059cb1fc7259ce766eb0f8ffdda"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-69149-5"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1052302788"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-69149-5", 
      "https://app.dimensions.ai/details/publication/pub.1052302788"
    ], 
    "sdDataset": "books", 
    "sdDatePublished": "2019-04-12T04:00", 
    "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_117091_00000002.jsonl", 
    "type": "Book", 
    "url": "https://link.springer.com/10.1007%2F978-3-540-69149-5"
  }
]
 

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-540-69149-5'

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-540-69149-5'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-69149-5'

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-540-69149-5'


 

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-540-69149-5 schema:datePublished 2008
2 schema:datePublishedReg 2008-01-01
3 schema:editor N78ff328aab784690bad683783778ca19
4 schema:genre book
5 schema:inLanguage en
6 schema:isAccessibleForFree false
7 schema:isbn 978-3-540-69147-1
8 978-3-540-69149-5
9 schema:name Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
10 schema:productId N314e68d0aab245e1ae52be3edce8490e
11 N79d8e8c12d074b77a354362d49a72795
12 Neda19bfcfc364d78b382181f7cf15cbd
13 schema:publisher N192a7af2f2b747df81518991dbfb0c3c
14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052302788
15 https://doi.org/10.1007/978-3-540-69149-5
16 schema:sdDatePublished 2019-04-12T04:00
17 schema:sdLicense https://scigraph.springernature.com/explorer/license/
18 schema:sdPublisher N55706fd453f74ca28b6a7ae469283282
19 schema:url https://link.springer.com/10.1007%2F978-3-540-69149-5
20 sgo:license sg:explorer/license/
21 sgo:sdDataset books
22 rdf:type schema:Book
23 N192a7af2f2b747df81518991dbfb0c3c schema:location Berlin, Heidelberg
24 schema:name Springer Berlin Heidelberg
25 rdf:type schema:Organisation
26 N314e68d0aab245e1ae52be3edce8490e schema:name doi
27 schema:value 10.1007/978-3-540-69149-5
28 rdf:type schema:PropertyValue
29 N55706fd453f74ca28b6a7ae469283282 schema:name Springer Nature - SN SciGraph project
30 rdf:type schema:Organization
31 N766170d5f99a4ffb82844c76cb790992 rdf:first Nadba6afbb08f414ea62d4f3217b11243
32 rdf:rest rdf:nil
33 N78ff328aab784690bad683783778ca19 rdf:first N956d29ae92a64735b93be236435e6d26
34 rdf:rest N766170d5f99a4ffb82844c76cb790992
35 N79d8e8c12d074b77a354362d49a72795 schema:name dimensions_id
36 schema:value pub.1052302788
37 rdf:type schema:PropertyValue
38 N956d29ae92a64735b93be236435e6d26 schema:familyName Meyer
39 schema:givenName Bertrand
40 rdf:type schema:Person
41 Nadba6afbb08f414ea62d4f3217b11243 schema:familyName Woodcock
42 schema:givenName Jim
43 rdf:type schema:Person
44 Neda19bfcfc364d78b382181f7cf15cbd schema:name readcube_id
45 schema:value f922d3751470a0bf93db72be15b3e6adc8549059cb1fc7259ce766eb0f8ffdda
46 rdf:type schema:PropertyValue
 




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


...