Login / Signup

Accelerating Markovian analysis of asynchronous systems using state compression.

Aiguo XiePeter A. Beerel
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1999)
Keyphrases