Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Pubblicazioni
Progetti
Persone
Terza Missione
Competenze
Settori
Strutture
IT
EN
☰
UNI-FIND
|
UNI-FIND
unito.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Pubblicazioni
Progetti
Persone
Terza Missione
Competenze
Settori
Strutture
☰
Pubblicazioni
Specifying and verifying systems of communicating agents in a temporal action logic
Contributo in Atti di convegno
Data di Pubblicazione:
2003
Tipologia CRIS:
04B-Conference paper in rivista
Elenco autori:
L. GIORDANO; A. MARTELLI; C. SCHWIND
Link alla scheda completa:
https://iris.unito.it/handle/2318/7353
Pubblicato in:
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Journal
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Series
