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 N8a1a81fe73c8455985c262122e26dfd3
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 N33ac664b6cbb484fa669777ad46d77db
11 N670232cc384b441f9fb3ec1d52905639
12 Nff2c60dd4d1d4bd69bc921bd7a4a2309
13 schema:publisher Nd0f466f6254b49dd9da0cab313430988
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 N06b6e48897d04dc2bfc1fc5852457dba
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 N06b6e48897d04dc2bfc1fc5852457dba schema:name Springer Nature - SN SciGraph project
24 rdf:type schema:Organization
25 N254dcb6ac68d4d9e904feba0af58abe5 rdf:first N9eb53198730c44d5a326709427655e6d
26 rdf:rest N25a8f0d0ee364451ab54aa4ad8c5c40b
27 N25a8f0d0ee364451ab54aa4ad8c5c40b rdf:first N67c1089cbca04fd28524dbbcf3680749
28 rdf:rest Nf0b1f55445304f9bb74914c8339e43cc
29 N33ac664b6cbb484fa669777ad46d77db schema:name doi
30 schema:value 10.1007/b137241
31 rdf:type schema:PropertyValue
32 N65604eecc7464e528c0a769fb02a4ac6 rdf:first Ned74f94adc65475285979e98b23016d9
33 rdf:rest N254dcb6ac68d4d9e904feba0af58abe5
34 N670232cc384b441f9fb3ec1d52905639 schema:name readcube_id
35 schema:value f738c361ff1d8fe0c5f69760b6d921fcd65a2e0f798a843d087afec4c90ca2a0
36 rdf:type schema:PropertyValue
37 N67c1089cbca04fd28524dbbcf3680749 schema:familyName Leucker
38 schema:givenName Martin
39 rdf:type schema:Person
40 N8100175c114646a4a811c9fecf8fe5a2 schema:familyName Pretschner
41 schema:givenName Alexander
42 rdf:type schema:Person
43 N8a1a81fe73c8455985c262122e26dfd3 rdf:first Na15ac277fe784320bcf3a3a99adb61f8
44 rdf:rest N65604eecc7464e528c0a769fb02a4ac6
45 N9eb53198730c44d5a326709427655e6d schema:familyName Katoen
46 schema:givenName Joost-Pieter
47 rdf:type schema:Person
48 Na15ac277fe784320bcf3a3a99adb61f8 schema:familyName Broy
49 schema:givenName Manfred
50 rdf:type schema:Person
51 Nd0f466f6254b49dd9da0cab313430988 schema:location Berlin, Heidelberg
52 schema:name Springer Berlin Heidelberg
53 rdf:type schema:Organisation
54 Ned74f94adc65475285979e98b23016d9 schema:familyName Jonsson
55 schema:givenName Bengt
56 rdf:type schema:Person
57 Nf0b1f55445304f9bb74914c8339e43cc rdf:first N8100175c114646a4a811c9fecf8fe5a2
58 rdf:rest rdf:nil
59 Nff2c60dd4d1d4bd69bc921bd7a4a2309 schema:name dimensions_id
60 schema:value pub.1051900027
61 rdf:type schema:PropertyValue
 




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


...