M. Alberti, A. Ciampolini, F. Chesani, P. Mello, M. Montali, S. Storari, et al. (2005). Protocol Specification and Verification by Using Computational Logic. BOLOGNA : Pitagora Editrice.

Protocol Specification and Verification by Using Computational Logic

CIAMPOLINI, ANNA;CHESANI, FEDERICO;MELLO, PAOLA;MONTALI, MARCO;TORRONI, PAOLO
2005

2005
WOA 2005 Dagli Oggetti agli Agenti - Simulazione e Analisi Formale dei Sistemi Complessi
M. Alberti, A. Ciampolini, F. Chesani, P. Mello, M. Montali, S. Storari, et al. (2005). Protocol Specification and Verification by Using Computational Logic. BOLOGNA : Pitagora Editrice.
M. Alberti; A. Ciampolini; F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni
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/23712
 Attenzione

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

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