%0 Generic
%T Establishing qualitative properties for probabilistic lossy channel systems an algorithmic approach
%A Baier, Christel
%A Engelen, Bettina
%A Roggenbach, Markus
%I Universität Mannheim / Institut für Informatik
%K Kommunikationssystem
%K Softwarespezifikation
%D 1999
%C Universität Mannheim / Institut für Informatik
%C Mannheim
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation