American Psychological Association 6th edition

ATTIE, P. C., & CHOCKLER, H. (2005, January 1). Efficiently verifiable conditions for deadlock-freedom of large concurrent programs. Presented at the. Berlin: Springer, 2005. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16546768

ISO-690 (author-date, English)

ATTIE, Paul C and CHOCKLER, Hana, 2005. Efficiently verifiable conditions for deadlock-freedom of large concurrent programs. In: [online]. Berlin: Springer, 2005. 1 January 2005. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16546768

Modern Language Association 9th edition

ATTIE, P. C., and H. CHOCKLER. Efficiently verifiable conditions for deadlock-freedom of large concurrent programs. Berlin: Springer, 2005., 2005, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16546768.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

ATTIE, P.C. and CHOCKLER, H. (2005), “Efficiently verifiable conditions for deadlock-freedom of large concurrent programs”, in , Vol. , Berlin: Springer, 2005., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16546768.

Warning: These citations may not always be 100% accurate.