Verifying Communicating Agents by Model Checking in a Temporal Action Logic

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

Lingua originale	Inglese
Pagine	57-69
Numero di pagine	13
DOI	https://doi.org/10.1007/978-3-540-30227-8_8
Stato di pubblicazione	Pubblicato - 2004
Evento	JELIA'04 (10th European Conf. on Logics in Artificial Intelligence) - Lisboa Durata: 1 gen 2004 → …

???event.eventtypes.event.conference???	JELIA'04 (10th European Conf. on Logics in Artificial Intelligence)
Città	Lisboa
Periodo	1/01/04 → …

Accesso al documento

@conference{73fea2e7794f4a83b4f4b29672a1df6c,

title = "Verifying Communicating Agents by Model Checking in a Temporal Action Logic",

author = "Laura GIORDANO and A. MARTELLI and C. SCHWIND",

year = "2004",

doi = "10.1007/978-3-540-30227-8\_8",

language = "English",

pages = "57--69",

note = "JELIA'04 (10th European Conf. on Logics in Artificial Intelligence) ; Conference date: 01-01-2004",

}

TY - CONF

T1 - Verifying Communicating Agents by Model Checking in a Temporal Action Logic

AU - GIORDANO, Laura

AU - MARTELLI, A.

AU - SCHWIND, C.

PY - 2004

Y1 - 2004

UR - https://iris.uniupo.it/handle/11579/17169

U2 - 10.1007/978-3-540-30227-8_8

DO - 10.1007/978-3-540-30227-8_8

M3 - Paper

SP - 57

EP - 69

T2 - JELIA'04 (10th European Conf. on Logics in Artificial Intelligence)

Y2 - 1 January 2004

ER -