View in EDS

A computable and compositional semantics for hybrid systems.

Saved in:
Bibliographic Details
Title: A computable and compositional semantics for hybrid systems.
Authors: Bresolin, Davide1, davide.bresolin@unipd.it, Collins, Pieter2, pieter.collins@maastrichtuniversity.nl, Geretti, Luca3, luca.geretti@univr.it, Segala, Roberto3, roberto.segala@univr.it, Villa, Tiziano3, tiziano.villa@univr.it, Živanović Gonzalez, Sanja4, sanja51@gmail.com
Source: Information & Computation; Oct2024, Vol. 300, pN.PAG-N.PAG, 1p
Database: Applied Science & Technology Source
FullText Text:
  Availability: 0
Header DbId: aci
DbLabel: Applied Science & Technology Source
An: 179464611
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: A computable and compositional semantics for hybrid systems.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AU" term="%22Bresolin%2C+Davide%22">Bresolin, Davide</searchLink><relatesTo>1</relatesTo>, <i>davide.bresolin@unipd.it</i><br /><searchLink fieldCode="AU" term="%22Collins%2C+Pieter%22">Collins, Pieter</searchLink><relatesTo>2</relatesTo>, <i>pieter.collins@maastrichtuniversity.nl</i><br /><searchLink fieldCode="AU" term="%22Geretti%2C+Luca%22">Geretti, Luca</searchLink><relatesTo>3</relatesTo>, <i>luca.geretti@univr.it</i><br /><searchLink fieldCode="AU" term="%22Segala%2C+Roberto%22">Segala, Roberto</searchLink><relatesTo>3</relatesTo>, <i>roberto.segala@univr.it</i><br /><searchLink fieldCode="AU" term="%22Villa%2C+Tiziano%22">Villa, Tiziano</searchLink><relatesTo>3</relatesTo>, <i>tiziano.villa@univr.it</i><br /><searchLink fieldCode="AU" term="%22Živanović+Gonzalez%2C+Sanja%22">Živanović Gonzalez, Sanja</searchLink><relatesTo>4</relatesTo>, <i>sanja51@gmail.com</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Information+%26+Computation%22">Information & Computation</searchLink>; Oct2024, Vol. 300, pN.PAG-N.PAG, 1p
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=179464611
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1016/j.ic.2024.105189
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 1
        StartPage: N.PAG
    Titles:
      – TitleFull: A computable and compositional semantics for hybrid systems.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Bresolin, Davide
      – PersonEntity:
          Name:
            NameFull: Collins, Pieter
      – PersonEntity:
          Name:
            NameFull: Geretti, Luca
      – PersonEntity:
          Name:
            NameFull: Segala, Roberto
      – PersonEntity:
          Name:
            NameFull: Villa, Tiziano
      – PersonEntity:
          Name:
            NameFull: Živanović Gonzalez, Sanja
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 10
              Text: Oct2024
              Type: published
              Y: 2024
          Identifiers:
            – Type: issn-print
              Value: 08905401
          Numbering:
            – Type: volume
              Value: 300
          Titles:
            – TitleFull: Information & Computation
              Type: main
ResultId 1