Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: an Algorithmic Approach (1999)

Cached

Download Links

by Christel Baier , Bettina Engelen
Venue:In Proceedings of 5th International AMAST Workshop on Real-Time and Probabilistic Systems (ARTS’99
Citations:23 - 5 self