Esparza, J., & Heljanko, K. (2017). Unfoldings: Ba partial-order approach to model checking. Springer.
Chicago Style CitationEsparza, Javier, and Keijo Heljanko. Unfoldings: Ba Partial-order Approach to Model Checking. Springer, 2017.
MLA CitationEsparza, Javier, and Keijo Heljanko. Unfoldings: Ba Partial-order Approach to Model Checking. Springer, 2017.
Warning: These citations may not always be 100% accurate.