APA (7th ed.) Citation

Bérard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., . . . McKenzie, P. (2001). Systems and Software Verification: Model-Checking Techniques and Tools. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Bérard, Béatrice, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, and Pierre McKenzie. Systems and Software Verification: Model-Checking Techniques and Tools. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001.

MLA (9th ed.) Citation

Bérard, Béatrice, et al. Systems and Software Verification: Model-Checking Techniques and Tools. Springer Berlin Heidelberg, 2001.