Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti. Verifying Properties of Systems Relying on Attribute-Based Communication. In Joost-Pieter Katoen, Rom Langerak, Arend Rensink, editors, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Volume 10500 of Lecture Notes in Computer Science, pages 169-190, Springer, 2017. [doi]
@inproceedings{NicolaDIM17, title = {Verifying Properties of Systems Relying on Attribute-Based Communication}, author = {Rocco De Nicola and Tan Duong and Omar Inverso and Franco Mazzanti}, year = {2017}, doi = {10.1007/978-3-319-68270-9_9}, url = {https://doi.org/10.1007/978-3-319-68270-9_9}, researchr = {https://researchr.org/publication/NicolaDIM17}, cites = {0}, citedby = {0}, pages = {169-190}, booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday}, editor = {Joost-Pieter Katoen and Rom Langerak and Arend Rensink}, volume = {10500}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-68270-9}, }