Merkliste 
 1 Ergebnisse 
 
1

Maple-Swarm: Programming Collective Behavior for Ensembles ..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science,
Kosak, Oliver ; Huhn, Lukas ; Bohn, Felix... - p. 507-524 , 2020