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 CitationBerard, 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 CitationBerard, 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.