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