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 N8b1f2d3b821c4eb49824148f5de0c7a7
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 N5290515c9e4440ef98cbae21513e971b
11 N7a023a47b7114c85a353cd85467450fe
12 N90bd08a4b0d3460c84bd37fcd4620efe
13 schema:publisher N45f431f7ffb74640b7cb05cb9844e4b6
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 N5f833ded5dda41b7b7a87d6a62c8c604
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 N0618100c248f4a0190e0bc2c724fc2df rdf:first Nd5ba22222b8843cdb4f6ef04286b1f97
24 rdf:rest rdf:nil
25 N45f431f7ffb74640b7cb05cb9844e4b6 schema:location Cham
26 schema:name Springer International Publishing
27 rdf:type schema:Organisation
28 N5290515c9e4440ef98cbae21513e971b schema:name readcube_id
29 schema:value 6b5b736a7149277de015782b9c6d73e2b56038cf19dcaa81ceee99d7e38b75bf
30 rdf:type schema:PropertyValue
31 N5f833ded5dda41b7b7a87d6a62c8c604 schema:name Springer Nature - SN SciGraph project
32 rdf:type schema:Organization
33 N7a023a47b7114c85a353cd85467450fe schema:name dimensions_id
34 schema:value pub.1022534069
35 rdf:type schema:PropertyValue
36 N8b1f2d3b821c4eb49824148f5de0c7a7 rdf:first Nff578438d4e94e86940f86d8429b4662
37 rdf:rest N0618100c248f4a0190e0bc2c724fc2df
38 N90bd08a4b0d3460c84bd37fcd4620efe schema:name doi
39 schema:value 10.1007/978-3-319-47169-3
40 rdf:type schema:PropertyValue
41 Nd5ba22222b8843cdb4f6ef04286b1f97 schema:familyName Steffen
42 schema:givenName Bernhard
43 rdf:type schema:Person
44 Nff578438d4e94e86940f86d8429b4662 schema:familyName Margaria
45 schema:givenName Tiziana
46 rdf:type schema:Person
 




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


...