APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Godefroid, Patrice. Partial-order Methods for the Verification of Concurrent Systems: An Approach to the State-explosion Problem. Berlin ; New York: Springer, 1996.

MLA (8th ed.) Citation

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