Licensing Services: Formal Analysis and Implementation / Gangadharan Ramakrishnan, Gangadharan; D'Andrea, Vincenzo. - STAMPA. - 4294:(2006), pp. 365-377. ((Intervento presentato al convegno International Conference on Service-Oriented Computing (ICSOC 2006) tenutosi a Chicago, IL nel 5th-7th December 2006 [10.1007/11948148_30].
Titolo: | Licensing Services: Formal Analysis and Implementation | |
Autori: | Gangadharan Ramakrishnan, Gangadharan; D'Andrea, Vincenzo | |
Autori Unitn: | ||
Titolo del volume contenente il saggio: | Service-Oriented Computing - ICSOC 2006: 4th International Conference | |
Luogo di edizione: | Berlin; Heidelberg | |
Casa editrice: | Springer | |
Anno di pubblicazione: | 2006 | |
Codice identificativo Scopus: | 2-s2.0-77049085966 | |
Codice identificativo WOS: | WOS:000244496000030 | |
ISBN: | 9783540681472 | |
Handle: | http://hdl.handle.net/11572/38735 | |
Appare nelle tipologie: | 04.1 Saggio in atti di convegno (Paper in Proceedings) |
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