Daniel Krähmann. Interface Theory for Stochastic Hybrid 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 146, Pro Business GmbH, 2014.
Abstract is missing.