%0 Generic
%T Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions
%A Lee, Matias David
%A de Vink, Erik P.
%A Matias David Lee and Erik P. de Vink
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K probabilistic transition systems
%K transition relation over distributions
%K weak bisimulations
%K modal logics
%K logical characterization
%D 2016
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation