APA引文

Esparza, J., & Heljanko, K. (2017). Unfoldings: Ba partial-order approach to model checking. Springer.

Chicago Style Citation

Esparza, Javier, and Keijo Heljanko. Unfoldings: Ba Partial-order Approach to Model Checking. Springer, 2017.

MLA引文

Esparza, Javier, and Keijo Heljanko. Unfoldings: Ba Partial-order Approach to Model Checking. Springer, 2017.

警告：這些引文格式不一定是100％准確.