author = { Lee, Matias David AND de Vink, Erik P. Matias David Lee and Erik P. de Vink },

title = { Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { probabilistic transition systems , transition relation over distributions , weak bisimulations , modal logics , logical characterization },

year = {2016},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }