| Lingua originale | Inglese |
|---|---|
| Stato di pubblicazione | Pubblicato - 2007 |
| Evento | AI*IA 2007 - Rome, Italy Durata: 1 gen 2007 → … |
???event.eventtypes.event.conference???
| ???event.eventtypes.event.conference??? | AI*IA 2007 |
|---|---|
| Città | Rome, Italy |
| Periodo | 1/01/07 → … |
Verifying Agent Conformance with Protocols specified in a Temporal Action Logic
Laura GIORDANO, A. MARTELLI
Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review