Publikace UTB
Repozitář publikační činnosti UTB

Proving the effectiveness of negotiation protocols KQML in multi-agent systems using event-B

Repozitář DSpace/Manakin


Find Full text Export to RefWorks
   


Soubory tohoto záznamu

Soubory Velikost Formát Zobrazit

K tomuto záznamu nejsou připojeny žádné soubory.

Citace ČSN ISO 690:2011

Citace článku v konferenčním sborníku:
ALI, Ammar Alhaj, Roman JAŠEK, Said KRAYEM a Petr ŽÁČEK. Proving the effectiveness of negotiation protocols KQML in multi-agent systems using event-B. In: Advances in Intelligent Systems and Computing [online]. Springer Verlag, 2017, s. 397-406. [cit. 2017-09-20]. ISSN 2194-5357. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-319-57264-2_40.

Tyto citace vytvořil software a mohou obsahovat chyby. Pro ověření přesnosti si nastudujte příslušnou citační normu nebo příručku.

Související články