APA (7th ed.) Citation

Godefroid, P. (1996). Partial-Order methods for the verification of concurrent systems: An approach to the state-explosion problem. Springer-Verlag.

Chicago Style (17th ed.) Citation

Godefroid, Patrice. Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-explosion Problem. Berlin: Springer-Verlag, 1996.

MLA (8th ed.) Citation

Godefroid, Patrice. Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-explosion Problem. Springer-Verlag, 1996.