%0 Conference Paper %1 conf/icaart/JakubuvTK15 %A Jakubuv, Jan %A Tozicka, Jan %A Komenda, Antonín %B ICAART (2) %D 2015 %E Loiseau, Stéphane %E Filipe, Joaquim %E Duval, Béatrice %E van den Herik, H. Jaap %I SciTePress %K dblp %P 173-182 %T Multiagent Planning by Plan Set Intersection and Plan Verification. %U http://dblp.uni-trier.de/db/conf/icaart/icaart2015-2.html#JakubuvTK15 %@ 978-989-758-074-1

@inproceedings{conf/icaart/JakubuvTK15, added-at = {2015-09-15T00:00:00.000+0200}, author = {Jakubuv, Jan and Tozicka, Jan and Komenda, Antonín}, biburl = {https://www.bibsonomy.org/bibtex/286894abbf6ebcf96dee3de01b98c80de/dblp}, booktitle = {ICAART (2)}, crossref = {conf/icaart/2015-2}, editor = {Loiseau, Stéphane and Filipe, Joaquim and Duval, Béatrice and van den Herik, H. Jaap}, interhash = {8e5cbcbbacd2d13323f8c6d309ca5c8d}, intrahash = {86894abbf6ebcf96dee3de01b98c80de}, isbn = {978-989-758-074-1}, keywords = {dblp}, pages = {173-182}, publisher = {SciTePress}, timestamp = {2015-09-16T11:34:05.000+0200}, title = {Multiagent Planning by Plan Set Intersection and Plan Verification.}, url = {http://dblp.uni-trier.de/db/conf/icaart/icaart2015-2.html#JakubuvTK15}, year = 2015 }