Verifying Communicating Agents by Model Checking in a Temporal Action Logic

@inproceedings{verifyingdltl-lncs3229,
   apice = {VerifyingDLTL04},
   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
}