REWERSE-RP-2004-57

Laura Giordano, Alberto Martelli, Camilla Schwind:
Verifying communicating agents by model checking in a temporal action logic.


In: Proceedings of
9th European Conference on Logics in Artificial Intelligence (JELIA 04), Lisbon, Portugal (27th - 30th September 2004), LNAI 3229, 57-69, 2004
© Springer

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2004-57

BibTeX:

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

Imprint      Privacy Disclaimer