A computable and compositional semantics for hybrid systems.
Saved in:
| 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 |
| ISSN: | 08905401 |
|---|---|
| DOI: | 10.1016/j.ic.2024.105189 |
