Publications

Export 2 results:
Author Title Type [ Year(Desc)]
Filters: Author is Luis María {Ferrer Fioriti}  [Clear All Filters]
2009
S. Giro, D'Argenio, P. R., and Ferrer Fioriti, L. M., Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers, in CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009, vol. LNCS 5710, pp. 338-353.PDF icon paper-14.pdf (469.3 KB)
Powered by Drupal