Towards Verifiable Multi-Agent Interaction Pattern Specification
Tagliaferro, Alberto;Lestingi, Livia;Rossi, Matteo
2024-01-01
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
FormaliSE_2024_DSL_Paper.pdf
accesso aperto
Descrizione: Pre-print
:
Pre-Print (o Pre-Refereeing)
Dimensione
608.22 kB
Formato
Adobe PDF
|
608.22 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.