Automatisierte Erstellung und Verifikation der Sicherheitsregeln zur garantierten Kollisionsvermeidung in komplexen Anlagen

Matthias Kennel, Andriy Telesh, Yurii Pavlovskyi & Torsten Böhme
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.