@PhDThesis{WeiglDiss2021,
author = {Alexander Sebastian Weigl},
year = {2021},
title = {Formal Specification and Verification
for Automated Production Systems},
doi = {10.5445/IR/1000140942},
school = {Karlsruhe Institute of Technology (KIT)},
month = dec
}
Formal Specification and Verification for Automated Production Systems
| Autor(en): | Alexander Sebastian Weigl |
|---|---|
| Hochschule: | Karlsruhe Institute of Technology (KIT) |
| Jahr: | 2021 |
| DOI: | 10.5445/IR/1000140942 |