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]
@inproceedings{VigoNN14,
title = {Uniform Protection for Multi-exposed Targets},
author = {Roberto Vigo and Flemming Nielson and Hanne Riis Nielson},
year = {2014},
doi = {10.1007/978-3-662-43613-4_12},
url = {http://dx.doi.org/10.1007/978-3-662-43613-4_12},
researchr = {https://researchr.org/publication/VigoNN14},
cites = {0},
citedby = {0},
pages = {182-198},
booktitle = {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},
editor = {Erika Ábrahám and Catuscia Palamidessi},
volume = {8461},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-662-43612-7},
}