Model-Based Testing of Reactive Systems, Advanced Lectures View Full Text


Ontology type: schema:Book     


Book Info

DATE

2005

GENRE

Book

PUBLISHER

Springer Berlin Heidelberg

ABSTRACT

N/A

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/b137241

DOI

http://dx.doi.org/10.1007/b137241

ISBN

978-3-540-26278-7 | 978-3-540-32037-1

DIMENSIONS

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


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": "2005", 
    "datePublishedReg": "2005-01-01", 
    "editor": [
      {
        "familyName": "Broy", 
        "givenName": "Manfred", 
        "type": "Person"
      }, 
      {
        "familyName": "Jonsson", 
        "givenName": "Bengt", 
        "type": "Person"
      }, 
      {
        "familyName": "Katoen", 
        "givenName": "Joost-Pieter", 
        "type": "Person"
      }, 
      {
        "familyName": "Leucker", 
        "givenName": "Martin", 
        "type": "Person"
      }, 
      {
        "familyName": "Pretschner", 
        "givenName": "Alexander", 
        "type": "Person"
      }
    ], 
    "genre": "book", 
    "id": "sg:pub.10.1007/b137241", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isbn": [
      "978-3-540-26278-7", 
      "978-3-540-32037-1"
    ], 
    "name": "Model-Based Testing of Reactive Systems, Advanced Lectures", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "f738c361ff1d8fe0c5f69760b6d921fcd65a2e0f798a843d087afec4c90ca2a0"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/b137241"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1051900027"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/b137241", 
      "https://app.dimensions.ai/details/publication/pub.1051900027"
    ], 
    "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_117087_00000002.jsonl", 
    "type": "Book", 
    "url": "https://link.springer.com/10.1007%2Fb137241"
  }
]
 

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/b137241'

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/b137241'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/b137241'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/b137241'


 

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

61 TRIPLES      18 PREDICATES      23 URIs      18 LITERALS      6 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/b137241 schema:datePublished 2005
2 schema:datePublishedReg 2005-01-01
3 schema:editor N46f54cc602414863bc40ec7e12f9bf4b
4 schema:genre book
5 schema:inLanguage en
6 schema:isAccessibleForFree false
7 schema:isbn 978-3-540-26278-7
8 978-3-540-32037-1
9 schema:name Model-Based Testing of Reactive Systems, Advanced Lectures
10 schema:productId Nc76d88b8795b4c6aa0c5d9882a96d7c9
11 Nf008dba4167943cfa16fd9c278f7faac
12 Nf41b16d16f464b52ac1ea630a4768f39
13 schema:publisher Nc797047479854b79a95aee03514b623f
14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051900027
15 https://doi.org/10.1007/b137241
16 schema:sdDatePublished 2019-04-12T04:00
17 schema:sdLicense https://scigraph.springernature.com/explorer/license/
18 schema:sdPublisher N75e1585edf6047c093e9c9bce881b487
19 schema:url https://link.springer.com/10.1007%2Fb137241
20 sgo:license sg:explorer/license/
21 sgo:sdDataset books
22 rdf:type schema:Book
23 N0e9932b83c3641048067dfd9ee7753a1 schema:familyName Katoen
24 schema:givenName Joost-Pieter
25 rdf:type schema:Person
26 N23a5198beace41058455a481e4b2f035 schema:familyName Pretschner
27 schema:givenName Alexander
28 rdf:type schema:Person
29 N46f54cc602414863bc40ec7e12f9bf4b rdf:first Ne93b2ee4a2e94cd3bb59f6907f8e0056
30 rdf:rest N74116319c5d446039bf98a79a13292da
31 N4b1d7e9ea84c4bf5be550833ec1cc844 rdf:first N0e9932b83c3641048067dfd9ee7753a1
32 rdf:rest Na3a311a7021448a7ac389a161e12263f
33 N74116319c5d446039bf98a79a13292da rdf:first Nef7d1b9d63794524b63c582dec788141
34 rdf:rest N4b1d7e9ea84c4bf5be550833ec1cc844
35 N75e1585edf6047c093e9c9bce881b487 schema:name Springer Nature - SN SciGraph project
36 rdf:type schema:Organization
37 N89f78154f30c4fb08f23159f9c157801 schema:familyName Leucker
38 schema:givenName Martin
39 rdf:type schema:Person
40 Na3a311a7021448a7ac389a161e12263f rdf:first N89f78154f30c4fb08f23159f9c157801
41 rdf:rest Nb310d9b240154dfda9ee9633a54aff2b
42 Nb310d9b240154dfda9ee9633a54aff2b rdf:first N23a5198beace41058455a481e4b2f035
43 rdf:rest rdf:nil
44 Nc76d88b8795b4c6aa0c5d9882a96d7c9 schema:name readcube_id
45 schema:value f738c361ff1d8fe0c5f69760b6d921fcd65a2e0f798a843d087afec4c90ca2a0
46 rdf:type schema:PropertyValue
47 Nc797047479854b79a95aee03514b623f schema:location Berlin, Heidelberg
48 schema:name Springer Berlin Heidelberg
49 rdf:type schema:Organisation
50 Ne93b2ee4a2e94cd3bb59f6907f8e0056 schema:familyName Broy
51 schema:givenName Manfred
52 rdf:type schema:Person
53 Nef7d1b9d63794524b63c582dec788141 schema:familyName Jonsson
54 schema:givenName Bengt
55 rdf:type schema:Person
56 Nf008dba4167943cfa16fd9c278f7faac schema:name dimensions_id
57 schema:value pub.1051900027
58 rdf:type schema:PropertyValue
59 Nf41b16d16f464b52ac1ea630a4768f39 schema:name doi
60 schema:value 10.1007/b137241
61 rdf:type schema:PropertyValue
 




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


...