Citazione Stile APA (7a Edizione)

Forejt, V., Kroening, D., Narayanswamy, G., & Sharma, S. (2014). Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs. Springer International Publishing.

Citazione stile Chigago Style (17a edizione)

Forejt, V., D. Kroening, G. Narayanswamy, e S. Sharma. Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs. Springer International Publishing, 2014.

Citatione MLA (9a ed.)

Forejt, V., et al. Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs. Springer International Publishing, 2014.