Vyzkoušejte citační manažer Citace PRO, v němž si můžete své citace ukládat a spravovat. Přihlaste se nebo se nejprve zaregistrujte.
Obálka

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.
Vyplňte povinné pole
Jméno:Příjmení:Role:
  Přidat autora
Vyplňte povinné pole

skrýt nepovinné údaje zobrazit další údaje