×
  • FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

    Ralf Schweinsberg (auth.) Eckehard Schnieder Geza Tarnai (eds.)

Click on cover to enlarge.
5 - 6Hours to read