Media type: E-Book Title: Establishing qualitative properties for probabilistic lossy channel systems : an algorithmic approach Contributor: Baier, Christel [Other]; Engelen, Bettina [Other]; Roggenbach, Markus [Other] imprint: Mannheim: Universität Mannheim / Institut für Informatik, 1999 Published in: Manuskripte / Reihe Informatik ; 1999-003 Extent: Online-Ressource Language: English Identifier: Keywords: Kommunikationssystem ; Softwarespezifikation Origination: Footnote: Access State: Open Access