Verifying Communicating Agents by Model Checking in a Temporal Action Logic
 |
 |
@inproceedings{verifyingdltl-lncs3229,
Author = {Giordano, Laura and Martelli, Alberto and Schwind, Camilla},
Booktitle = {Logics in Artificial Intelligence},
Doi = {10.1007/978-3-540-30227-8_8},
Editor = {Alferes, J{\'o}se J{\'u}lio and Leite, Jo{\~a}o},
Isbn = {978-3-540-23242-1},
Pages = {57--69},
Publisher = {Springer},
Series = {LNCS},
Title = {Verifying Communicating Agents by Model Checking in a Temporal Action Logic},
Url = {http://rd.springer.com/chapter/10.1007/978-3-540-30227-8_8},
Volume = 3229,
Year = 2004}
Author = {Giordano, Laura and Martelli, Alberto and Schwind, Camilla},
Booktitle = {Logics in Artificial Intelligence},
Doi = {10.1007/978-3-540-30227-8_8},
Editor = {Alferes, J{\'o}se J{\'u}lio and Leite, Jo{\~a}o},
Isbn = {978-3-540-23242-1},
Pages = {57--69},
Publisher = {Springer},
Series = {LNCS},
Title = {Verifying Communicating Agents by Model Checking in a Temporal Action Logic},
Url = {http://rd.springer.com/chapter/10.1007/978-3-540-30227-8_8},
Volume = 3229,
Year = 2004}