Login / Signup

Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers.

Sergio GiroPedro R. D'ArgenioLuis María Ferrer Fioriti
Published in: CONCUR (2009)
Keyphrases