Bisimulation for stochastic hybrid models

L. Bortolussi and V. Galpin

QEST 2011: Fast Abstracts, CTIT Workshop Proceedings Series WP11-03. CTIT, University of Twente, 2011, 3-4

Fast Abstract - PDF

Back to Publications page