The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies / ALBERTI M.; CHESANI F.; GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P.. - STAMPA. - 3267:(2005), pp. 314-339. (Intervento presentato al convegno IST/FET International Workshop, GC tenutosi a Rovereto nel March 9-12, 2004) [10.1007/978-3-540-31794-4_17].

The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies

CHESANI, FEDERICO;MELLO, PAOLA;TORRONI, PAOLO
2005

2005
Global Computing
314
339
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies / ALBERTI M.; CHESANI F.; GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P.. - STAMPA. - 3267:(2005), pp. 314-339. (Intervento presentato al convegno IST/FET International Workshop, GC tenutosi a Rovereto nel March 9-12, 2004) [10.1007/978-3-540-31794-4_17].
ALBERTI M.; CHESANI F.; GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P.
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/2685
 Attenzione

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

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