"Compositional Analysis of Expected Delays in Networks of Probabilistic I/O ..."

Eugene W. Stark, Scott A. Smolka (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics