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

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. 2018-12-12]. 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