Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications View Full Text


Ontology type: schema:Book      Open Access: True


Book Info

DATE

2016

GENRE

Book

PUBLISHER

Springer International Publishing

ABSTRACT

N/A

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-47169-3

DOI

http://dx.doi.org/10.1007/978-3-319-47169-3

ISBN

978-3-319-47168-6 | 978-3-319-47169-3

DIMENSIONS

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


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": "2016", 
    "datePublishedReg": "2016-01-01", 
    "editor": [
      {
        "familyName": "Margaria", 
        "givenName": "Tiziana", 
        "type": "Person"
      }, 
      {
        "familyName": "Steffen", 
        "givenName": "Bernhard", 
        "type": "Person"
      }
    ], 
    "genre": "book", 
    "id": "sg:pub.10.1007/978-3-319-47169-3", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isbn": [
      "978-3-319-47168-6", 
      "978-3-319-47169-3"
    ], 
    "name": "Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "6b5b736a7149277de015782b9c6d73e2b56038cf19dcaa81ceee99d7e38b75bf"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-47169-3"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1022534069"
        ]
      }
    ], 
    "publisher": {
      "location": "Cham", 
      "name": "Springer International Publishing", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-47169-3", 
      "https://app.dimensions.ai/details/publication/pub.1022534069"
    ], 
    "sdDataset": "books", 
    "sdDatePublished": "2019-04-11T17:23", 
    "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/0000000001_0000000264/records_8664_00000586.jsonl", 
    "type": "Book", 
    "url": "http://link.springer.com/10.1007/978-3-319-47169-3"
  }
]
 

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-319-47169-3'

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-319-47169-3'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-47169-3'

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-319-47169-3'


 

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-319-47169-3 schema:datePublished 2016
2 schema:datePublishedReg 2016-01-01
3 schema:editor N799a1d73d5af4a6d9936b86f82b809da
4 schema:genre book
5 schema:inLanguage en
6 schema:isAccessibleForFree true
7 schema:isbn 978-3-319-47168-6
8 978-3-319-47169-3
9 schema:name Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
10 schema:productId N140e2d926aee4bf2ac216891baf80a8d
11 N6d8d5ca5c5db4a6e811706ef1de87ab8
12 Na5d4ed0a8ada4e13bd0f4fa574d200ff
13 schema:publisher N41317aeb59e947de9c49ed43b8d6e112
14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022534069
15 https://doi.org/10.1007/978-3-319-47169-3
16 schema:sdDatePublished 2019-04-11T17:23
17 schema:sdLicense https://scigraph.springernature.com/explorer/license/
18 schema:sdPublisher N75f06dac6052464fb065fb0c1470dfff
19 schema:url http://link.springer.com/10.1007/978-3-319-47169-3
20 sgo:license sg:explorer/license/
21 sgo:sdDataset books
22 rdf:type schema:Book
23 N140e2d926aee4bf2ac216891baf80a8d schema:name dimensions_id
24 schema:value pub.1022534069
25 rdf:type schema:PropertyValue
26 N41317aeb59e947de9c49ed43b8d6e112 schema:location Cham
27 schema:name Springer International Publishing
28 rdf:type schema:Organisation
29 N6d8d5ca5c5db4a6e811706ef1de87ab8 schema:name doi
30 schema:value 10.1007/978-3-319-47169-3
31 rdf:type schema:PropertyValue
32 N75f06dac6052464fb065fb0c1470dfff schema:name Springer Nature - SN SciGraph project
33 rdf:type schema:Organization
34 N799a1d73d5af4a6d9936b86f82b809da rdf:first Ne7e4cc241aca4d28af206955f8f98bd1
35 rdf:rest Nfd136e27ff794f5b9fec3d85ac10965c
36 Na5d4ed0a8ada4e13bd0f4fa574d200ff schema:name readcube_id
37 schema:value 6b5b736a7149277de015782b9c6d73e2b56038cf19dcaa81ceee99d7e38b75bf
38 rdf:type schema:PropertyValue
39 Nb09f337c9d3240efa91d3da9bee84112 schema:familyName Steffen
40 schema:givenName Bernhard
41 rdf:type schema:Person
42 Ne7e4cc241aca4d28af206955f8f98bd1 schema:familyName Margaria
43 schema:givenName Tiziana
44 rdf:type schema:Person
45 Nfd136e27ff794f5b9fec3d85ac10965c rdf:first Nb09f337c9d3240efa91d3da9bee84112
46 rdf:rest rdf:nil
 




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


...