Specification and verification of multi-agent systems
Dastani Mohammad Mehdi, Hindriks Koen, Meyer J.-J. Ch
Kniha
Citace v seznamu literatury:
DASTANI, Mohammad Mehdi; HINDRIKS, Koen a MEYER, J.-J. Ch (ed.). Specification and verification of multi-agent systems. New York: Springer, 2010. Dostupné z: https://doi.org/9781441969842.
Funkce není dostupná
Tato funkce je dostupá pouze ve verzi Citace PRO Plus.