| Lingua originale | Inglese |
|---|---|
| Pagine | 262-274 |
| Numero di pagine | 13 |
| Stato di pubblicazione | Pubblicato - 2003 |
Cita questo
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic
- Laura GIORDANO
- , A. MARTELLI
- , C. SCHWIND
Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review