CINECA IRIS Institutional Research Information System

Personalization, verification and conformance for logic-base communicating agents

BALDONI, Matteo;MARTELLI, Alberto;BAROGLIO, Cristina;PATTI, Viviana;SCHIFANELLA, CLAUDIO;
2005-01-01
2005
WOA 2005: Dagli oggetti agli agenti, simulazione e analisi formale di sistemi complessi
Camerino, Italy
-11-2005
WOA 2005: Dagli oggetti agli agenti, simulazione e analisi formale di sistemi complessi
Pitagora Editrice Bologna
-
-
9788837115906
M. BALDONI; A. MARTELLI; C. BAROGLIO; V. PATTI; V. MASCARDI; C. SCHIFANELLA; L. TORASSO
04A-Conference paper in volume
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/28809
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact