APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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