CRIS Current Research Information System

Supporting e-commerce systems formalization with choreography languages / M. Bravetti; C. Guidi; R. Lucchi; G. Zavattaro. - STAMPA. - (2005), pp. 831-835. (Intervento presentato al convegno 20th ACM Symposium on Applied Computing (SAC'05), special track on E-Commerce Technologies tenutosi a Santa Fe (NM, USA) nel Marzo 2005).

Supporting e-commerce systems formalization with choreography languages

BRAVETTI, MARIO;GUIDI, CLAUDIO;LUCCHI, ROBERTO;ZAVATTARO, GIANLUIGI
2005
2005
Proc. of the 20th ACM Symposium on Applied Computing (SAC'05), special track on E-Commerce Technologies
831
835
Supporting e-commerce systems formalization with choreography languages / M. Bravetti; C. Guidi; R. Lucchi; G. Zavattaro. - STAMPA. - (2005), pp. 831-835. (Intervento presentato al convegno 20th ACM Symposium on Applied Computing (SAC'05), special track on E-Commerce Technologies tenutosi a Santa Fe (NM, USA) nel Marzo 2005).
M. Bravetti; C. Guidi; R. Lucchi; G. Zavattaro
4.01 Contributo in Atti di convegno
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/21515
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 11
  • ???jsp.display-item.citation.isi??? ND
social impact