(2008). Unfoldings: A partial-order approach to model checking / Javier Esparza, Keijo Heljanko.
Cytowanie według stylu Chicago (wyd. 17)Unfoldings: A Partial-order Approach to Model Checking / Javier Esparza, Keijo Heljanko. 2008.
Cytowanie według stylu MLA (wyd. 9)Unfoldings: A Partial-order Approach to Model Checking / Javier Esparza, Keijo Heljanko. 2008.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..