M. Bravetti, C. Guidi, R. Lucchi, G. Zavattaro (2005). Supporting e-commerce systems formalization with choreography languages. NEW YORK : ACM Press.

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
M. Bravetti, C. Guidi, R. Lucchi, G. Zavattaro (2005). Supporting e-commerce systems formalization with choreography languages. NEW YORK : ACM Press.
M. Bravetti; C. Guidi; R. Lucchi; G. Zavattaro
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