Establishing qualitative properties for probabilistic lossy channel systems: An algorithmic approach (1999)

by C Baier, B Engelen
Venue:In: Proc. 5th AMAST Workshop Formal Methods for Real-Time and Probabilistic Systems (ARTS 1999), Lecture Notes in Computer Science