Login / Signup

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

Eugene W. StarkScott A. Smolka
Published in: LICS (1998)
Keyphrases