Esparza, J., & Heljanko, K. (2017). Unfoldings: Ba partial-order approach to model checking. Springer.
استشهاد بنمط شيكاغوEsparza, Javier, و Keijo Heljanko. Unfoldings: Ba Partial-order Approach to Model Checking. Springer, 2017.
MLA استشهادEsparza, Javier, و Keijo Heljanko. Unfoldings: Ba Partial-order Approach to Model Checking. Springer, 2017.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.