Analysis and Synthesis of Interactive Component and Connector Systems

Jan Oliver Ringert. Analysis and Synthesis of Interactive Component and Connector Systems. In Anja Jentzsch, Tobias Pape, Sebastian Pasewaldt, editors, Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science - Dagstuhl 2014, Dagstuhl, Germany, June 15-18, 2014. pages 48, Pro Business GmbH, 2014.

Abstract

Abstract is missing.