E. Schnieder
First name(s): E.
Last name(s): Schnieder

Publications of E. Schnieder
2004
K. Lüttich, B. Krieg-Brückner and T. Mossakowski, Tramway Networks as Route Graphs, in: FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, pages 109-119, 2004
download