Synchronous Interfaces and Assume/Guarantee Contracts View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2017-07-25

AUTHORS

Albert Benveniste , Benoît Caillaud

ABSTRACT

In this short note, we establish a link between the theory of Moore Interfaces proposed in 2002 by Chakraborty et al. as a specification framework for synchronous transition systems, and the Assume/Guarantee contracts as proposed in 2007 by Benveniste et al. as a simple and flexible contract framework. As our main result we show that the operation of saturation of A/G contracts (namely the mapping ), which was considered a drawback of this theory, is indeed implemented by the Moore Game of Chakraborty et al. We further develop this link and come up with some remarks on Moore Interfaces. More... »

PAGES

233-248

References to SciGraph publications

  • 2014. Error-Pruning in Interface Automata in SOFSEM 2014: THEORY AND PRACTICE OF COMPUTER SCIENCE
  • 2012. Moving from Specifications to Contracts in Component-Based Design in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 1998. MOCHA: Modularity in model checking in COMPUTER AIDED VERIFICATION
  • 2000. FoCs – Automatic Generation of Simulation Checkers from Formal Specifications in COMPUTER AIDED VERIFICATION
  • 2005-11-29. Realizable and unrealizable specifications of reactive systems in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2008. Complexity of Decision Problems for Mixed and Modal Specifications in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES
  • 2002. Synchronous and Bidirectional Component Interfaces in COMPUTER AIDED VERIFICATION
  • 2014. Contract-Based Reasoning for Component Systems with Rich Interactions in EMBEDDED SYSTEMS DEVELOPMENT
  • 2008. Multiple Viewpoint Contract-Based Specification and Design in FORMAL METHODS FOR COMPONENTS AND OBJECTS
  • 1999-07. Reactive Modules in FORMAL METHODS IN SYSTEM DESIGN
  • 2007. Modal I/O Automata for Interface and Product Line Theories in PROGRAMMING LANGUAGES AND SYSTEMS
  • Book

    TITLE

    Models, Algorithms, Logics and Tools

    ISBN

    978-3-319-63120-2
    978-3-319-63121-9

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-319-63121-9_12

    DOI

    http://dx.doi.org/10.1007/978-3-319-63121-9_12

    DIMENSIONS

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


    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", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1401", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Economic Theory", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/14", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Economics", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "name": [
                "Inria, Campus de Beaulieu, 35042, Rennes cedex, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Benveniste", 
            "givenName": "Albert", 
            "id": "sg:person.011174600625.42", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "name": [
                "Inria, Campus de Beaulieu, 35042, Rennes cedex, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Caillaud", 
            "givenName": "Beno\u00eet", 
            "id": "sg:person.015010026051.83", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015010026051.83"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-642-28872-2_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003413853", 
              "https://doi.org/10.1007/978-3-642-28872-2_3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0035748", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003858226", 
              "https://doi.org/10.1007/bfb0035748"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0035748", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003858226", 
              "https://doi.org/10.1007/bfb0035748"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.tcs.2015.06.047", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006630315"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4614-3879-3_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007727088", 
              "https://doi.org/10.1007/978-1-4614-3879-3_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0028774", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008146998", 
              "https://doi.org/10.1007/bfb0028774"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-78499-9_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020642391", 
              "https://doi.org/10.1007/978-3-540-78499-9_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45657-0_34", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020714184", 
              "https://doi.org/10.1007/3-540-45657-0_34"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-04298-5_15", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025193248", 
              "https://doi.org/10.1007/978-3-319-04298-5_15"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.tcs.2016.06.011", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028724161"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-71316-6_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029386482", 
              "https://doi.org/10.1007/978-3-540-71316-6_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-92188-2_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031191561", 
              "https://doi.org/10.1007/978-3-540-92188-2_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-92188-2_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031191561", 
              "https://doi.org/10.1007/978-3-540-92188-2_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.2000.9999", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037056573"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1023/a:1008739929481", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040056258", 
              "https://doi.org/10.1023/a:1008739929481"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/151646.151649", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041600277"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.scico.2013.12.010", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041851184"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1450058.1450070", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042048557"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/503209.503226", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046197469"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/10722167_40", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049539313", 
              "https://doi.org/10.1007/10722167_40"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/10722167_40", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049539313", 
              "https://doi.org/10.1007/10722167_40"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1629335.1629348", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051828749"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/jproc.2002.805826", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061296057"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tcad.2007.895792", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061537688"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/date.2006.243899", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093554494"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/fdl.2008.4641436", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094300823"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/date.2011.5763167", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1096338286"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/date.2011.5763167", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1096338286"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2017-07-25", 
        "datePublishedReg": "2017-07-25", 
        "description": "In this short note, we establish a link between the theory of Moore Interfaces proposed in 2002 by Chakraborty et al. as a specification framework for synchronous transition systems, and the Assume/Guarantee contracts as proposed in 2007 by Benveniste et al. as a simple and flexible contract framework. As our main result we show that the operation of saturation of A/G contracts (namely the mapping ), which was considered a drawback of this theory, is indeed implemented by the Moore Game of Chakraborty et al. We further develop this link and come up with some remarks on Moore Interfaces.", 
        "editor": [
          {
            "familyName": "Aceto", 
            "givenName": "Luca", 
            "type": "Person"
          }, 
          {
            "familyName": "Bacci", 
            "givenName": "Giorgio", 
            "type": "Person"
          }, 
          {
            "familyName": "Bacci", 
            "givenName": "Giovanni", 
            "type": "Person"
          }, 
          {
            "familyName": "Ing\u00f3lfsd\u00f3ttir", 
            "givenName": "Anna", 
            "type": "Person"
          }, 
          {
            "familyName": "Legay", 
            "givenName": "Axel", 
            "type": "Person"
          }, 
          {
            "familyName": "Mardare", 
            "givenName": "Radu", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-63121-9_12", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "978-3-319-63120-2", 
            "978-3-319-63121-9"
          ], 
          "name": "Models, Algorithms, Logics and Tools", 
          "type": "Book"
        }, 
        "name": "Synchronous Interfaces and Assume/Guarantee Contracts", 
        "pagination": "233-248", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-63121-9_12"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "b892ce300d48cac748a3d5aaa62f09221520bf9a59f935566f4ab41271757d75"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1090880538"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-63121-9_12", 
          "https://app.dimensions.ai/details/publication/pub.1090880538"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T05: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/0000000325_0000000325/records_100791_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F978-3-319-63121-9_12"
      }
    ]
     

    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-63121-9_12'

    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-63121-9_12'

    Turtle is a human-readable linked data format.

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

    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-63121-9_12'


     

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

    181 TRIPLES      23 PREDICATES      50 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-63121-9_12 schema:about anzsrc-for:14
    2 anzsrc-for:1401
    3 schema:author Nbec39917ecc44b4d99435636b5190734
    4 schema:citation sg:pub.10.1007/10722167_40
    5 sg:pub.10.1007/3-540-45657-0_34
    6 sg:pub.10.1007/978-1-4614-3879-3_8
    7 sg:pub.10.1007/978-3-319-04298-5_15
    8 sg:pub.10.1007/978-3-540-71316-6_6
    9 sg:pub.10.1007/978-3-540-78499-9_9
    10 sg:pub.10.1007/978-3-540-92188-2_9
    11 sg:pub.10.1007/978-3-642-28872-2_3
    12 sg:pub.10.1007/bfb0028774
    13 sg:pub.10.1007/bfb0035748
    14 sg:pub.10.1023/a:1008739929481
    15 https://doi.org/10.1006/inco.2000.9999
    16 https://doi.org/10.1016/j.scico.2013.12.010
    17 https://doi.org/10.1016/j.tcs.2015.06.047
    18 https://doi.org/10.1016/j.tcs.2016.06.011
    19 https://doi.org/10.1109/date.2006.243899
    20 https://doi.org/10.1109/date.2011.5763167
    21 https://doi.org/10.1109/fdl.2008.4641436
    22 https://doi.org/10.1109/jproc.2002.805826
    23 https://doi.org/10.1109/tcad.2007.895792
    24 https://doi.org/10.1145/1450058.1450070
    25 https://doi.org/10.1145/151646.151649
    26 https://doi.org/10.1145/1629335.1629348
    27 https://doi.org/10.1145/503209.503226
    28 schema:datePublished 2017-07-25
    29 schema:datePublishedReg 2017-07-25
    30 schema:description In this short note, we establish a link between the theory of Moore Interfaces proposed in 2002 by Chakraborty et al. as a specification framework for synchronous transition systems, and the Assume/Guarantee contracts as proposed in 2007 by Benveniste et al. as a simple and flexible contract framework. As our main result we show that the operation of saturation of A/G contracts (namely the mapping ), which was considered a drawback of this theory, is indeed implemented by the Moore Game of Chakraborty et al. We further develop this link and come up with some remarks on Moore Interfaces.
    31 schema:editor Ne67f53315288414a86d4665a7eaceb3b
    32 schema:genre chapter
    33 schema:inLanguage en
    34 schema:isAccessibleForFree true
    35 schema:isPartOf Nd954759bca594ffa851ff399c89e79bd
    36 schema:name Synchronous Interfaces and Assume/Guarantee Contracts
    37 schema:pagination 233-248
    38 schema:productId N20bd8f1430f54acf98e4b74f588bd5f5
    39 Na39a0d7af6974b07ae527f56cf380cab
    40 Ncab61f0e1a9c44d69005e5891bd6189e
    41 schema:publisher Ndc67f18ed6534fbfad85033e8f954f61
    42 schema:sameAs https://app.dimensions.ai/details/publication/pub.1090880538
    43 https://doi.org/10.1007/978-3-319-63121-9_12
    44 schema:sdDatePublished 2019-04-16T05:00
    45 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    46 schema:sdPublisher N0178fd3295e640e09b53b64c99e8364a
    47 schema:url https://link.springer.com/10.1007%2F978-3-319-63121-9_12
    48 sgo:license sg:explorer/license/
    49 sgo:sdDataset chapters
    50 rdf:type schema:Chapter
    51 N0178fd3295e640e09b53b64c99e8364a schema:name Springer Nature - SN SciGraph project
    52 rdf:type schema:Organization
    53 N0df30e8802164b0a8f961fa6f4bfd454 schema:name Inria, Campus de Beaulieu, 35042, Rennes cedex, France
    54 rdf:type schema:Organization
    55 N20bd8f1430f54acf98e4b74f588bd5f5 schema:name doi
    56 schema:value 10.1007/978-3-319-63121-9_12
    57 rdf:type schema:PropertyValue
    58 N55a01c94119d4422b7942ff5286bdfd3 rdf:first Nf0c38dbdf89f4e5596cc6b568191543d
    59 rdf:rest Ncb562e6003bf4aba8fb3353eeb963a55
    60 N5f3d129b2d8e4e50843a605a39b1e1ec rdf:first sg:person.015010026051.83
    61 rdf:rest rdf:nil
    62 N65895c6368a3467fa58d2787287d67a0 schema:familyName Mardare
    63 schema:givenName Radu
    64 rdf:type schema:Person
    65 N68dff1a8579f4ebf905e9297d4f5116c schema:familyName Bacci
    66 schema:givenName Giovanni
    67 rdf:type schema:Person
    68 N7250c99af1a44077b4c165e1757a89c0 rdf:first N65895c6368a3467fa58d2787287d67a0
    69 rdf:rest rdf:nil
    70 N853dc4aac4164c5aa475ed3b48c1d7c6 rdf:first Ndde53d06d7ce411382e6b6ca964235ba
    71 rdf:rest Nc1cc8a4c5caf400bafd46e351752356d
    72 Na39a0d7af6974b07ae527f56cf380cab schema:name readcube_id
    73 schema:value b892ce300d48cac748a3d5aaa62f09221520bf9a59f935566f4ab41271757d75
    74 rdf:type schema:PropertyValue
    75 Nabaabb73b3a34f0d8aef266121b686ea schema:familyName Legay
    76 schema:givenName Axel
    77 rdf:type schema:Person
    78 Nbec39917ecc44b4d99435636b5190734 rdf:first sg:person.011174600625.42
    79 rdf:rest N5f3d129b2d8e4e50843a605a39b1e1ec
    80 Nc1cc8a4c5caf400bafd46e351752356d rdf:first Nabaabb73b3a34f0d8aef266121b686ea
    81 rdf:rest N7250c99af1a44077b4c165e1757a89c0
    82 Ncab61f0e1a9c44d69005e5891bd6189e schema:name dimensions_id
    83 schema:value pub.1090880538
    84 rdf:type schema:PropertyValue
    85 Ncb562e6003bf4aba8fb3353eeb963a55 rdf:first N68dff1a8579f4ebf905e9297d4f5116c
    86 rdf:rest N853dc4aac4164c5aa475ed3b48c1d7c6
    87 Nd954759bca594ffa851ff399c89e79bd schema:isbn 978-3-319-63120-2
    88 978-3-319-63121-9
    89 schema:name Models, Algorithms, Logics and Tools
    90 rdf:type schema:Book
    91 Ndc67f18ed6534fbfad85033e8f954f61 schema:location Cham
    92 schema:name Springer International Publishing
    93 rdf:type schema:Organisation
    94 Ndde53d06d7ce411382e6b6ca964235ba schema:familyName Ingólfsdóttir
    95 schema:givenName Anna
    96 rdf:type schema:Person
    97 Ne67f53315288414a86d4665a7eaceb3b rdf:first Nec87d7f0064c480f94889f15d924a1f6
    98 rdf:rest N55a01c94119d4422b7942ff5286bdfd3
    99 Nea481c4fc4e84aaeb6ad24d51e9b3a23 schema:name Inria, Campus de Beaulieu, 35042, Rennes cedex, France
    100 rdf:type schema:Organization
    101 Nec87d7f0064c480f94889f15d924a1f6 schema:familyName Aceto
    102 schema:givenName Luca
    103 rdf:type schema:Person
    104 Nf0c38dbdf89f4e5596cc6b568191543d schema:familyName Bacci
    105 schema:givenName Giorgio
    106 rdf:type schema:Person
    107 anzsrc-for:14 schema:inDefinedTermSet anzsrc-for:
    108 schema:name Economics
    109 rdf:type schema:DefinedTerm
    110 anzsrc-for:1401 schema:inDefinedTermSet anzsrc-for:
    111 schema:name Economic Theory
    112 rdf:type schema:DefinedTerm
    113 sg:person.011174600625.42 schema:affiliation Nea481c4fc4e84aaeb6ad24d51e9b3a23
    114 schema:familyName Benveniste
    115 schema:givenName Albert
    116 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42
    117 rdf:type schema:Person
    118 sg:person.015010026051.83 schema:affiliation N0df30e8802164b0a8f961fa6f4bfd454
    119 schema:familyName Caillaud
    120 schema:givenName Benoît
    121 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015010026051.83
    122 rdf:type schema:Person
    123 sg:pub.10.1007/10722167_40 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049539313
    124 https://doi.org/10.1007/10722167_40
    125 rdf:type schema:CreativeWork
    126 sg:pub.10.1007/3-540-45657-0_34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020714184
    127 https://doi.org/10.1007/3-540-45657-0_34
    128 rdf:type schema:CreativeWork
    129 sg:pub.10.1007/978-1-4614-3879-3_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007727088
    130 https://doi.org/10.1007/978-1-4614-3879-3_8
    131 rdf:type schema:CreativeWork
    132 sg:pub.10.1007/978-3-319-04298-5_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025193248
    133 https://doi.org/10.1007/978-3-319-04298-5_15
    134 rdf:type schema:CreativeWork
    135 sg:pub.10.1007/978-3-540-71316-6_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029386482
    136 https://doi.org/10.1007/978-3-540-71316-6_6
    137 rdf:type schema:CreativeWork
    138 sg:pub.10.1007/978-3-540-78499-9_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020642391
    139 https://doi.org/10.1007/978-3-540-78499-9_9
    140 rdf:type schema:CreativeWork
    141 sg:pub.10.1007/978-3-540-92188-2_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031191561
    142 https://doi.org/10.1007/978-3-540-92188-2_9
    143 rdf:type schema:CreativeWork
    144 sg:pub.10.1007/978-3-642-28872-2_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003413853
    145 https://doi.org/10.1007/978-3-642-28872-2_3
    146 rdf:type schema:CreativeWork
    147 sg:pub.10.1007/bfb0028774 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008146998
    148 https://doi.org/10.1007/bfb0028774
    149 rdf:type schema:CreativeWork
    150 sg:pub.10.1007/bfb0035748 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003858226
    151 https://doi.org/10.1007/bfb0035748
    152 rdf:type schema:CreativeWork
    153 sg:pub.10.1023/a:1008739929481 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040056258
    154 https://doi.org/10.1023/a:1008739929481
    155 rdf:type schema:CreativeWork
    156 https://doi.org/10.1006/inco.2000.9999 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037056573
    157 rdf:type schema:CreativeWork
    158 https://doi.org/10.1016/j.scico.2013.12.010 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041851184
    159 rdf:type schema:CreativeWork
    160 https://doi.org/10.1016/j.tcs.2015.06.047 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006630315
    161 rdf:type schema:CreativeWork
    162 https://doi.org/10.1016/j.tcs.2016.06.011 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028724161
    163 rdf:type schema:CreativeWork
    164 https://doi.org/10.1109/date.2006.243899 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093554494
    165 rdf:type schema:CreativeWork
    166 https://doi.org/10.1109/date.2011.5763167 schema:sameAs https://app.dimensions.ai/details/publication/pub.1096338286
    167 rdf:type schema:CreativeWork
    168 https://doi.org/10.1109/fdl.2008.4641436 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094300823
    169 rdf:type schema:CreativeWork
    170 https://doi.org/10.1109/jproc.2002.805826 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061296057
    171 rdf:type schema:CreativeWork
    172 https://doi.org/10.1109/tcad.2007.895792 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061537688
    173 rdf:type schema:CreativeWork
    174 https://doi.org/10.1145/1450058.1450070 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042048557
    175 rdf:type schema:CreativeWork
    176 https://doi.org/10.1145/151646.151649 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041600277
    177 rdf:type schema:CreativeWork
    178 https://doi.org/10.1145/1629335.1629348 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051828749
    179 rdf:type schema:CreativeWork
    180 https://doi.org/10.1145/503209.503226 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046197469
    181 rdf:type schema:CreativeWork
     




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


    ...