Uniform Protection for Multi-exposed Targets

Roberto Vigo, Flemming Nielson, Hanne Riis Nielson. Uniform Protection for Multi-exposed Targets. In Erika Ábrahám, Catuscia Palamidessi, editors, Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. Volume 8461 of Lecture Notes in Computer Science, pages 182-198, Springer, 2014. [doi]

Authors

Roberto Vigo

This author has not been identified. Look up 'Roberto Vigo' in Google

Flemming Nielson

This author has not been identified. Look up 'Flemming Nielson' in Google

Hanne Riis Nielson

This author has not been identified. Look up 'Hanne Riis Nielson' in Google