APA (7th ed.) Citation

(2008). Unfoldings: A partial-order approach to model checking / Javier Esparza, Keijo Heljanko.

Chicago Style (17th ed.) Citation

Unfoldings: A Partial-order Approach to Model Checking / Javier Esparza, Keijo Heljanko. 2008.

MLA (9th ed.) Citation

Unfoldings: A Partial-order Approach to Model Checking / Javier Esparza, Keijo Heljanko. 2008.

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