APA (7th ed.) Citation

Esparza, J., & Heljanko, K. (2008). Unfoldings: A Partial-Order Approach to Model Checking. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Esparza, Javier, and Keijo Heljanko. Unfoldings: A Partial-Order Approach to Model Checking. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.

MLA (8th ed.) Citation

Esparza, Javier, and Keijo Heljanko. Unfoldings: A Partial-Order Approach to Model Checking. Springer Berlin Heidelberg, 2008.

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