Forejt, V., Kroening, D., Narayanswamy, G., & Sharma, S. (2014). Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs. Springer International Publishing.
Chicago-Zitierstil (17. Ausg.)Forejt, V., D. Kroening, G. Narayanswamy, und S. Sharma. Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs. Springer International Publishing, 2014.
MLA-Zitierstil (9. Ausg.)Forejt, V., et al. Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs. Springer International Publishing, 2014.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.