External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verifying Properties of Systems Relying on Attribute-Based Communication

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]

Authors

Rocco De Nicola

This author has not been identified. Look up 'Rocco De Nicola' in Google

Tan Duong

This author has not been identified. Look up 'Tan Duong' in Google

Omar Inverso

This author has not been identified. Look up 'Omar Inverso' in Google

Franco Mazzanti

This author has not been identified. Look up 'Franco Mazzanti' in Google
runs on