Giters

barnslig / bachelor-thesis

My bachelor's thesis, including an experimental swarm verification model checker running on the GPU.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

E3.1 Abstract schreiben

barnslig opened this issue · comments

commented

Akzeptanzkriterien

Im Writeup:

  • Der Abstract ist geschrieben