Items where Author is "Veith, H."

Contribution in Book/Report/Proceedings

Bokor, P. and Serafini, M. and Suri, Neeraj and Veith, H. (2009) Role-based symmetry reduction of fault-tolerant distributed protocols with language support. In: Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Springer, pp. 147-166. ISBN 3642103723