Janko Tackmann:
Exploring the Dynamical Behaviour of Thomas Networks with Incomplete Threshold Information by Means of Model Checking
Academic Advisor
Prof. Dr. Alexander Bockmayr, Hannes Klarner, Prof. Dr. Heike Siebert
Degree
Bachelor of Science (B.Sc.)
