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

Lingua originaleInglese
Pagine262-274
Numero di pagine13
Stato di pubblicazionePubblicato - 2003

Accesso al documento

Altri file e collegamenti

Cita questo