Verification-Oriented Specification of Multi-agent Interaction Patterns
A. Tagliaferro;L. Lestingi;M. Rossi
2024-01-01
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
AREA_2024___LIrAs_Workshop.pdf
accesso aperto
:
Pre-Print (o Pre-Refereeing)
Dimensione
2.22 MB
Formato
Adobe PDF
|
2.22 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
