Jakubův, J., Tožička, J., Komenda, A.
JAKUBŮV, J., J. TOŽIČKA, and A. KOMENDA. Using Process Calculi for Plan Verification in Multiagent Planning. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7th International Conference on Agents and Artificial Intelligence, Lisbon, 2015-01-10/2015-01-12. Berlin: Springer-Verlag, 2015. p. 245-261. ISSN 0302-9743. ISBN 978-3-319-27946-6. DOI 10.1007/978-3-319-27947-3_13.