APA Citation

Berard, B., Bidoit, M., Finkel, A., & Laroussinie, F. (2001). Systems and Software Verification: Model-Checking Techniques and Tools (1st ed. 2001.). Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago Style Citation

Berard, B., M. Bidoit, A. Finkel, and F. Laroussinie. Systems and Software Verification: Model-Checking Techniques and Tools. 1st ed. 2001. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001.

MLA Citation

Berard, B., M. Bidoit, A. Finkel, and F. Laroussinie. Systems and Software Verification: Model-Checking Techniques and Tools. 1st ed. 2001. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001.

Warning: These citations may not always be 100% accurate.