Provably forgetting of information in manufacturing systems: Verification of the KASTEL industry demonstrator

@report{WeiglTr2019,
	author = {['Alexander Weigl']},
	year = {2019},
	title = {Provably Forgetting of Information in Manufacturing Systems: Verification of the KASTEL Industry Demonstrator},
	doi = {10.5445/IR/1000117803},
	institution = {KIT, Fakultät der Informatik},
	language = {english},
	keywords = {kastel-svi}
}