Laura Giordano, Alberto Martelli, Camilla Schwind:
Verifying communicating agents by model checking in a temporal action logic.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2004-57
@inproceedings{REWERSE-RP-2004-57,
author = {Laura Giordano and Alberto Martelli and Camilla Schwind},
title = {Verifying communicating agents by model checking in a temporal action logic},
booktitle = {Proceedings of 9th European Conference on Logics in Artificial Intelligence, Lisbon, Portugal (27th--30th September 2004)},
year = {2004},
volume = {3229},
series = {LNAI},
pages = {57--69},
url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2004-57}
}