Einträge mit Organisationseinheit "20 Fachbereich Informatik > Theorie Paralleler Systeme"
- TU Darmstadt (106376)
- 20 Fachbereich Informatik (16053)
- Theorie Paralleler Systeme (2)
- 20 Fachbereich Informatik (16053)
Es werden nur Einträge angezeigt, bei denen keine untergeordnete Organisationseinheit ausgewählt wurde. Anzahl: 2.
2021
Leue, Andre (2021)
Verification of Factorio Belt Balancers using Petri Nets.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00017621
Bachelorarbeit, Erstveröffentlichung, Verlagsversion
2020
Metzler, Patrick (2020)
Verification and Enforcement of Safe Schedules for Concurrent Programs.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00013432
Dissertation, Erstveröffentlichung, Verlagsversion
Drucken
Impressum