Results for Symmetry reduction

Publications & Outputs

1. Role-based symmetry reduction of fault-tolerant distributed protocols with language support

   Bokor, P., Serafini, M., Suri, N. & Veith, H., 2009, Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Springer, Vol. 5885 LNCS. p. 147-166 20 p.

   Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter