SpringerLink (Online service), Schnieder, E., & Tarnai, G. (2011). FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems. Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Eckehard Schnieder, and Geza Tarnai. FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
MLA (9th ed.) CitationSpringerLink (Online service), et al. FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems. Springer Berlin Heidelberg, 2011.
Warning: These citations may not always be 100% accurate.