Compositional Expressiveness of Hybrid Models

Jafar Akhundov, Michael Reißner, Matthias Werner 0001. Compositional Expressiveness of Hybrid Models. In Bernd-Holger Schlingloff, Samira Akili, editors, Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018. Volume 2240 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]

Abstract

Abstract is missing.