Buch(gedruckt)#12012FORMS/FORMAT 2012: 9th Symposium on Formal Methods for Automation and Safety in Railway and Automative SystemsSchnieder, Eckehard; Tarnai, Géza; FORMS, FORMAT 9 2012 BraunschweigSchnieder, Eckehard; Tarnai, Géza; FORMS, FORMAT 9 2012 BraunschweigBestellen über Verfügbarkeit
