Interface Theory for Stochastic Hybrid Systems

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

Abstract is missing.