Approximation and Compression for the Verification of Probabilistic Systems

Cached

Download Links

by Richard Lassaigne , Sylvain Peyronnet , Michel de Rougemont