Model checking emerging behavior properties of robot swarms

Juurik, Silver; Vain, Jüri (2009). Model checking emerging behavior properties of robot swarms. 21st Nordic Workshop on Programming Theory, NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : Proceedings. Ed. Hansen ,Michael R.; Brekling, Aske. Lyngby: Technical University of Denmark, 68−70.
publitseeritud konverentsiettekanne
Juurik, Silver; Vain, Jüri
  • Inglise
21st Nordic Workshop on Programming Theory, NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : Proceedings
Hansen ,Michael R.; Brekling, Aske
Lyngby
Technical University of Denmark
987-87-643-0565-4
2009
6870
Ilmunud
5.2. Konverentsiteesid, mis ei kuulu valdkonda 5.1

Viited terviktekstile