Login / Signup

Labelled Markov Processes: Stronger and Faster Approximations.

Vincent DanosJosée DesharnaisPrakash Panangaden
Published in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases