-
Bib ID# 4653
ISBN: 9783642142611
UPC: 10.1007/978-3-642-14261-1
Title: FORMS/FORMAT 2010Formal Methods for Automation and Safety in Railway and Automotive Systems /
Author: Schnieder, Eckehard.
Publication Info: Springer Berlin Heidelberg, 2011.
Item Type: Language material