Using Process Calculi for Plan Verification in Multiagent Planning.
J. Jakubuv, J. Tozicka, and A. Komenda. ICAART (Revised Selected Papers), volume 9494 of Lecture Notes in Computer Science, page 245-261. Springer, (2015)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/icaart/JakubuvTK15a
%A Jakubuv, Jan
%A Tozicka, Jan
%A Komenda, Antonín
%B ICAART (Revised Selected Papers)
%D 2015
%E Duval, Béatrice
%E van den Herik, H. Jaap
%E Loiseau, Stéphane
%E Filipe, Joaquim
%I Springer
%K dblp
%P 245-261
%T Using Process Calculi for Plan Verification in Multiagent Planning.
%U http://dblp.uni-trier.de/db/conf/icaart/icaart2015s.html#JakubuvTK15a
%V 9494
%@ 978-3-319-27946-6
@inproceedings{conf/icaart/JakubuvTK15a,
added-at = {2019-06-02T00:00:00.000+0200},
author = {Jakubuv, Jan and Tozicka, Jan and Komenda, Antonín},
biburl = {https://www.bibsonomy.org/bibtex/276f077d563d80135e6472cbb453cba86/dblp},
booktitle = {ICAART (Revised Selected Papers)},
crossref = {conf/icaart/2015s},
editor = {Duval, Béatrice and van den Herik, H. Jaap and Loiseau, Stéphane and Filipe, Joaquim},
ee = {https://www.wikidata.org/entity/Q62044878},
interhash = {24dff8c81ac857d1a105954884111129},
intrahash = {76f077d563d80135e6472cbb453cba86},
isbn = {978-3-319-27946-6},
keywords = {dblp},
pages = {245-261},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T20:27:24.000+0200},
title = {Using Process Calculi for Plan Verification in Multiagent Planning.},
url = {http://dblp.uni-trier.de/db/conf/icaart/icaart2015s.html#JakubuvTK15a},
volume = 9494,
year = 2015
}
