Verifying Properties of Systems Relying on Attribute-Based Communication / De Nicola, R; Tan, Duong; Omar, Inverso; Franco, Mazzanti. - 10500:(2017), pp. 169-190.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
