Title

FORMS/FORMAT 2012, 9th Symposium on Formal Methods for Automation and Safety in Railway and Automative Systems

Title Supplement

Braunschweig, 11.-13.12.2012

Editor(s)

Schnieder, Eckehard

Corporate Author

TU Braunschweig, Institut für Verkehrssicherheit und Automatisierungstechnik

Publisher

Publishing Place

Braunschweig

Publication Date

2012

ISBN

978-3-9803363-3-8

Conference