APA (7th ed.) Citation

Esparza, J., & Heljanko, K. (2008). Unfoldings: A partial-order approach to model checking. Springer. https://doi.org/10.1007/978-3-540-77426-6

Chicago Style (17th ed.) Citation

Esparza, Javier, and Keijo Heljanko. Unfoldings: A Partial-order Approach to Model Checking. Berlin: Springer, 2008. https://doi.org/10.1007/978-3-540-77426-6.

MLA (9th ed.) Citation

Esparza, Javier, and Keijo Heljanko. Unfoldings: A Partial-order Approach to Model Checking. Springer, 2008. https://doi.org/10.1007/978-3-540-77426-6.