On the Determinization of Timed Systems View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2017-08-03

AUTHORS

Patricia Bouyer , Samy Jaziri , Nicolas Markey

ABSTRACT

We introduce a new formalism called automata over a timed domain which provides an adequate framework for the determinization of timed systems. In this formalism, determinization w.r.t. timed language is always possible at the cost of changing the timed domain. We give a condition for determinizability of automata over a timed domain without changing the timed domain, which allows us to recover several known determinizable classes of timed systems, such as strongly-non-zeno timed automata, integer-reset timed automata, perturbed timed automata, etc. Moreover in the case of timed automata this condition encompasses most determinizability conditions from the literature. More... »

PAGES

25-41

References to SciGraph publications

  • 2015-02. A game approach to determinize timed automata in FORMAL METHODS IN SYSTEM DESIGN
  • 1994. A determinizable class of timed automata in COMPUTER AIDED VERIFICATION
  • 2008. Timed Automata with Integer Resets: Language Inclusion and Expressiveness in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2002-02-21. Timed Control Synthesis for External Specifications in STACS 2002
  • 2009-06. Conformance testing for real-time systems in FORMAL METHODS IN SYSTEM DESIGN
  • 2004. On Timed Automata with Input-Determined Guards in FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS
  • 2006. Undecidable Problems About Timed Automata in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2005. Perturbed Timed Automata in HYBRID SYSTEMS: COMPUTATION AND CONTROL
  • 2009. When Are Timed Automata Determinizable? in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2012. A Machine-Independent Characterization of Timed Languages in AUTOMATA, LANGUAGES, AND PROGRAMMING
  • Book

    TITLE

    Formal Modeling and Analysis of Timed Systems

    ISBN

    978-3-319-65764-6
    978-3-319-65765-3

    Identifiers

    URI

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

    DOI

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

    DIMENSIONS

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


    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/2004", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Linguistics", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/20", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Language, Communication and Culture", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Laboratoire Sp\u00e9cification et V\u00e9rification", 
              "id": "https://www.grid.ac/institutes/grid.464035.0", 
              "name": [
                "LSV \u2013 CNRS & ENS Paris-Saclay, Cachan, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Bouyer", 
            "givenName": "Patricia", 
            "id": "sg:person.014467443251.73", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014467443251.73"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Laboratoire Sp\u00e9cification et V\u00e9rification", 
              "id": "https://www.grid.ac/institutes/grid.464035.0", 
              "name": [
                "LSV \u2013 CNRS & ENS Paris-Saclay, Cachan, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Jaziri", 
            "givenName": "Samy", 
            "id": "sg:person.010274501421.78", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010274501421.78"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Rennes 1", 
              "id": "https://www.grid.ac/institutes/grid.410368.8", 
              "name": [
                "IRISA \u2013 CNRS & INRIA & Univ. Rennes 1, Rennes, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Markey", 
            "givenName": "Nicolas", 
            "id": "sg:person.07601744130.31", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07601744130.31"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-540-31954-2_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007185622", 
              "https://doi.org/10.1007/978-3-540-31954-2_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-31954-2_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007185622", 
              "https://doi.org/10.1007/978-3-540-31954-2_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-30206-3_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010465154", 
              "https://doi.org/10.1007/978-3-540-30206-3_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-30206-3_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010465154", 
              "https://doi.org/10.1007/978-3-540-30206-3_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-02930-1_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013608043", 
              "https://doi.org/10.1007/978-3-642-02930-1_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-02930-1_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013608043", 
              "https://doi.org/10.1007/978-3-642-02930-1_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-31585-5_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015547680", 
              "https://doi.org/10.1007/978-3-642-31585-5_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.ipl.2006.04.015", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016684079"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45841-7_47", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018045113", 
              "https://doi.org/10.1007/3-540-45841-7_47"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45841-7_47", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018045113", 
              "https://doi.org/10.1007/3-540-45841-7_47"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-014-0220-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018697721", 
              "https://doi.org/10.1007/s10703-014-0220-1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(94)90010-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029576598"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-58179-0_39", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029864290", 
              "https://doi.org/10.1007/3-540-58179-0_39"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-85778-5_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037537767", 
              "https://doi.org/10.1007/978-3-540-85778-5_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-009-0065-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043443258", 
              "https://doi.org/10.1007/s10703-009-0065-1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-009-0065-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043443258", 
              "https://doi.org/10.1007/s10703-009-0065-1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.tcs.2004.04.003", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050670425"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11867340_14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053185317", 
              "https://doi.org/10.1007/11867340_14"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11867340_14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053185317", 
              "https://doi.org/10.1007/11867340_14"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s1474-6670(17)42032-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1085614051"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/lics.2004.1319600", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093539242"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2017-08-03", 
        "datePublishedReg": "2017-08-03", 
        "description": "We introduce a new formalism called automata over a timed domain which provides an adequate framework for the determinization of timed systems. In this formalism, determinization w.r.t. timed language is always possible at the cost of changing the timed domain. We give a condition for determinizability of automata over a timed domain without changing the timed domain, which allows us to recover several known determinizable classes of timed systems, such as strongly-non-zeno timed automata, integer-reset timed automata, perturbed timed automata, etc. Moreover in the case of timed automata this condition encompasses most determinizability conditions from the literature.", 
        "editor": [
          {
            "familyName": "Abate", 
            "givenName": "Alessandro", 
            "type": "Person"
          }, 
          {
            "familyName": "Geeraerts", 
            "givenName": "Gilles", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-65765-3_2", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "978-3-319-65764-6", 
            "978-3-319-65765-3"
          ], 
          "name": "Formal Modeling and Analysis of Timed Systems", 
          "type": "Book"
        }, 
        "name": "On the Determinization of Timed Systems", 
        "pagination": "25-41", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-65765-3_2"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "be133c2e18bc0a699f92260abbe79156c17723da7777fd6ad38a530412936ee7"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1091024875"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-65765-3_2", 
          "https://app.dimensions.ai/details/publication/pub.1091024875"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T05:01", 
        "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_100809_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F978-3-319-65765-3_2"
      }
    ]
     

    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-65765-3_2'

    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-65765-3_2'

    Turtle is a human-readable linked data format.

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

    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-65765-3_2'


     

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

    142 TRIPLES      23 PREDICATES      41 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-65765-3_2 schema:about anzsrc-for:20
    2 anzsrc-for:2004
    3 schema:author Nb0c6650e6e13477c9de311a53a82c1d1
    4 schema:citation sg:pub.10.1007/11867340_14
    5 sg:pub.10.1007/3-540-45841-7_47
    6 sg:pub.10.1007/3-540-58179-0_39
    7 sg:pub.10.1007/978-3-540-30206-3_7
    8 sg:pub.10.1007/978-3-540-31954-2_5
    9 sg:pub.10.1007/978-3-540-85778-5_7
    10 sg:pub.10.1007/978-3-642-02930-1_4
    11 sg:pub.10.1007/978-3-642-31585-5_12
    12 sg:pub.10.1007/s10703-009-0065-1
    13 sg:pub.10.1007/s10703-014-0220-1
    14 https://doi.org/10.1016/0304-3975(94)90010-8
    15 https://doi.org/10.1016/j.ipl.2006.04.015
    16 https://doi.org/10.1016/j.tcs.2004.04.003
    17 https://doi.org/10.1016/s1474-6670(17)42032-5
    18 https://doi.org/10.1109/lics.2004.1319600
    19 schema:datePublished 2017-08-03
    20 schema:datePublishedReg 2017-08-03
    21 schema:description We introduce a new formalism called automata over a timed domain which provides an adequate framework for the determinization of timed systems. In this formalism, determinization w.r.t. timed language is always possible at the cost of changing the timed domain. We give a condition for determinizability of automata over a timed domain without changing the timed domain, which allows us to recover several known determinizable classes of timed systems, such as strongly-non-zeno timed automata, integer-reset timed automata, perturbed timed automata, etc. Moreover in the case of timed automata this condition encompasses most determinizability conditions from the literature.
    22 schema:editor Na9e2c43c5da746c89bbde685eb4c9199
    23 schema:genre chapter
    24 schema:inLanguage en
    25 schema:isAccessibleForFree true
    26 schema:isPartOf N8cf78b1e5c1c4dda90fe3c90194ee42d
    27 schema:name On the Determinization of Timed Systems
    28 schema:pagination 25-41
    29 schema:productId N490db12990ac4d879be9f1460eb1a247
    30 N77247e362a614bf1a69218403449a219
    31 Na270803e6c6c4a2d900dc87406dc8bab
    32 schema:publisher Nf0ed422f491b4f3db224c14288ac61f3
    33 schema:sameAs https://app.dimensions.ai/details/publication/pub.1091024875
    34 https://doi.org/10.1007/978-3-319-65765-3_2
    35 schema:sdDatePublished 2019-04-16T05:01
    36 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    37 schema:sdPublisher N7693a83e7fc54f1181d1f684e7bab63e
    38 schema:url https://link.springer.com/10.1007%2F978-3-319-65765-3_2
    39 sgo:license sg:explorer/license/
    40 sgo:sdDataset chapters
    41 rdf:type schema:Chapter
    42 N05720a50ada44efcbfd63233c85b6c08 schema:familyName Geeraerts
    43 schema:givenName Gilles
    44 rdf:type schema:Person
    45 N490db12990ac4d879be9f1460eb1a247 schema:name dimensions_id
    46 schema:value pub.1091024875
    47 rdf:type schema:PropertyValue
    48 N626cfa7b97b547c3bca2d3ded008dc36 rdf:first sg:person.07601744130.31
    49 rdf:rest rdf:nil
    50 N7693a83e7fc54f1181d1f684e7bab63e schema:name Springer Nature - SN SciGraph project
    51 rdf:type schema:Organization
    52 N77247e362a614bf1a69218403449a219 schema:name doi
    53 schema:value 10.1007/978-3-319-65765-3_2
    54 rdf:type schema:PropertyValue
    55 N8cf78b1e5c1c4dda90fe3c90194ee42d schema:isbn 978-3-319-65764-6
    56 978-3-319-65765-3
    57 schema:name Formal Modeling and Analysis of Timed Systems
    58 rdf:type schema:Book
    59 Na270803e6c6c4a2d900dc87406dc8bab schema:name readcube_id
    60 schema:value be133c2e18bc0a699f92260abbe79156c17723da7777fd6ad38a530412936ee7
    61 rdf:type schema:PropertyValue
    62 Na9e2c43c5da746c89bbde685eb4c9199 rdf:first Nd76a22c254d9423cb3e610bdee5f8cca
    63 rdf:rest Ne49b6aa4e7d34f23a1882cf4c3a403cb
    64 Nb0c6650e6e13477c9de311a53a82c1d1 rdf:first sg:person.014467443251.73
    65 rdf:rest Nd60ad26540fe4589b5bed67d52ac6145
    66 Nd60ad26540fe4589b5bed67d52ac6145 rdf:first sg:person.010274501421.78
    67 rdf:rest N626cfa7b97b547c3bca2d3ded008dc36
    68 Nd76a22c254d9423cb3e610bdee5f8cca schema:familyName Abate
    69 schema:givenName Alessandro
    70 rdf:type schema:Person
    71 Ne49b6aa4e7d34f23a1882cf4c3a403cb rdf:first N05720a50ada44efcbfd63233c85b6c08
    72 rdf:rest rdf:nil
    73 Nf0ed422f491b4f3db224c14288ac61f3 schema:location Cham
    74 schema:name Springer International Publishing
    75 rdf:type schema:Organisation
    76 anzsrc-for:20 schema:inDefinedTermSet anzsrc-for:
    77 schema:name Language, Communication and Culture
    78 rdf:type schema:DefinedTerm
    79 anzsrc-for:2004 schema:inDefinedTermSet anzsrc-for:
    80 schema:name Linguistics
    81 rdf:type schema:DefinedTerm
    82 sg:person.010274501421.78 schema:affiliation https://www.grid.ac/institutes/grid.464035.0
    83 schema:familyName Jaziri
    84 schema:givenName Samy
    85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010274501421.78
    86 rdf:type schema:Person
    87 sg:person.014467443251.73 schema:affiliation https://www.grid.ac/institutes/grid.464035.0
    88 schema:familyName Bouyer
    89 schema:givenName Patricia
    90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014467443251.73
    91 rdf:type schema:Person
    92 sg:person.07601744130.31 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
    93 schema:familyName Markey
    94 schema:givenName Nicolas
    95 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07601744130.31
    96 rdf:type schema:Person
    97 sg:pub.10.1007/11867340_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053185317
    98 https://doi.org/10.1007/11867340_14
    99 rdf:type schema:CreativeWork
    100 sg:pub.10.1007/3-540-45841-7_47 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018045113
    101 https://doi.org/10.1007/3-540-45841-7_47
    102 rdf:type schema:CreativeWork
    103 sg:pub.10.1007/3-540-58179-0_39 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029864290
    104 https://doi.org/10.1007/3-540-58179-0_39
    105 rdf:type schema:CreativeWork
    106 sg:pub.10.1007/978-3-540-30206-3_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010465154
    107 https://doi.org/10.1007/978-3-540-30206-3_7
    108 rdf:type schema:CreativeWork
    109 sg:pub.10.1007/978-3-540-31954-2_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007185622
    110 https://doi.org/10.1007/978-3-540-31954-2_5
    111 rdf:type schema:CreativeWork
    112 sg:pub.10.1007/978-3-540-85778-5_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037537767
    113 https://doi.org/10.1007/978-3-540-85778-5_7
    114 rdf:type schema:CreativeWork
    115 sg:pub.10.1007/978-3-642-02930-1_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013608043
    116 https://doi.org/10.1007/978-3-642-02930-1_4
    117 rdf:type schema:CreativeWork
    118 sg:pub.10.1007/978-3-642-31585-5_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015547680
    119 https://doi.org/10.1007/978-3-642-31585-5_12
    120 rdf:type schema:CreativeWork
    121 sg:pub.10.1007/s10703-009-0065-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043443258
    122 https://doi.org/10.1007/s10703-009-0065-1
    123 rdf:type schema:CreativeWork
    124 sg:pub.10.1007/s10703-014-0220-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018697721
    125 https://doi.org/10.1007/s10703-014-0220-1
    126 rdf:type schema:CreativeWork
    127 https://doi.org/10.1016/0304-3975(94)90010-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029576598
    128 rdf:type schema:CreativeWork
    129 https://doi.org/10.1016/j.ipl.2006.04.015 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016684079
    130 rdf:type schema:CreativeWork
    131 https://doi.org/10.1016/j.tcs.2004.04.003 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050670425
    132 rdf:type schema:CreativeWork
    133 https://doi.org/10.1016/s1474-6670(17)42032-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1085614051
    134 rdf:type schema:CreativeWork
    135 https://doi.org/10.1109/lics.2004.1319600 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093539242
    136 rdf:type schema:CreativeWork
    137 https://www.grid.ac/institutes/grid.410368.8 schema:alternateName University of Rennes 1
    138 schema:name IRISA – CNRS & INRIA & Univ. Rennes 1, Rennes, France
    139 rdf:type schema:Organization
    140 https://www.grid.ac/institutes/grid.464035.0 schema:alternateName Laboratoire Spécification et Vérification
    141 schema:name LSV – CNRS & ENS Paris-Saclay, Cachan, France
    142 rdf:type schema:Organization
     




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


    ...