Verifying Communicating Agents by Model Checking in a Temporal Action Logic

Research output: Contribution to conference › Paper › peer-review

Original language	English
Pages	57-69
Number of pages	13
DOIs	https://doi.org/10.1007/978-3-540-30227-8_8
Publication status	Published - 2004
Event	JELIA'04 (10th European Conf. on Logics in Artificial Intelligence) - Lisboa Duration: 1 Jan 2004 → …

Conference	JELIA'04 (10th European Conf. on Logics in Artificial Intelligence)
City	Lisboa
Period	1/01/04 → …

Access to Document

@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 -