Result: Verification of Factorio Belt Balancers using Petri Nets
Title:
Involved:
Published:
Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2021
Scope:
1 Online-Ressource (53 Seiten)
Format:
Language:
English
Dissertation note:
Bachelorarbeit, Technische Universität Darmstadt
Notes:
kostenfrei
DOI:
10.26083/tuprints-00017621