Alessandro Aldini. Design and Verification of Trusted Collective Adaptive Systems. ACM Trans. Model. Comput. Simul., 28(2), 2018. [doi]
@article{Aldini18, title = {Design and Verification of Trusted Collective Adaptive Systems}, author = {Alessandro Aldini}, year = {2018}, doi = {10.1145/3155337}, url = {http://doi.acm.org/10.1145/3155337}, researchr = {https://researchr.org/publication/Aldini18}, cites = {0}, citedby = {0}, journal = {ACM Trans. Model. Comput. Simul.}, volume = {28}, number = {2}, }