APA ציטוט

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.) Citation

SpringerLink (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

SpringerLink (Online service), et al. FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems. Springer Berlin Heidelberg, 2011.