Establishing qualitative properties for probabilistic lossy channel systems (1999)

by C Baier, B Engelen
Venue:ARTS’99, Formal Methods for Real-Time and Probabilistic Systems, 5th Int. AMAST Workshop, volume 1601 of LNCS