Inproceedings,
Verification and Planning in Agent-Based Systems.
F. Amato, A. Mazzeo, F. Moscato, and D. Pianese.SITIS, page 782-788. IEEE Computer Society, (2015)
Meta data
- BibTeX key
- conf/sitis/AmatoMMP15
- entry type
- inproceedings
- booktitle
- SITIS
- year
- 2015
- pages
- 782-788
- publisher
- IEEE Computer Society
- crossref
- conf/sitis/2015
- ee
- https://doi.ieeecomputersociety.org/10.1109/SITIS.2015.120
- isbn
- 978-1-4673-9721-6
- url
- http://dblp.uni-trier.de/db/conf/sitis/sitis2015.html#AmatoMMP15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sitis/AmatoMMP15
%A Amato, Flora
%A Mazzeo, Antonino
%A Moscato, Francesco
%A Pianese, Dario
%B SITIS
%D 2015
%E Yétongnon, Kokou
%E Dipanda, Albert
%I IEEE Computer Society
%K dblp
%P 782-788
%T Verification and Planning in Agent-Based Systems.
%U http://dblp.uni-trier.de/db/conf/sitis/sitis2015.html#AmatoMMP15
%@ 978-1-4673-9721-6
@inproceedings{conf/sitis/AmatoMMP15,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Amato, Flora and Mazzeo, Antonino and Moscato, Francesco and Pianese, Dario},
biburl = {https://www.bibsonomy.org/bibtex/2aa8e3a5f31eaed831a059a7351784b64/dblp},
booktitle = {SITIS},
crossref = {conf/sitis/2015},
editor = {Yétongnon, Kokou and Dipanda, Albert},
ee = {https://doi.ieeecomputersociety.org/10.1109/SITIS.2015.120},
interhash = {8addb993ddd1d0aa746c098b62677b2f},
intrahash = {aa8e3a5f31eaed831a059a7351784b64},
isbn = {978-1-4673-9721-6},
keywords = {dblp},
pages = {782-788},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T20:12:53.000+0200},
title = {Verification and Planning in Agent-Based Systems.},
url = {http://dblp.uni-trier.de/db/conf/sitis/sitis2015.html#AmatoMMP15},
year = 2015
}