Bijnens, S., Joosen, W., & Berbers, Y. (1993). Load balanced parallel program verification on a shared memory machine. 1993 Euromicro Workshop on Parallel and Distributed Processing, Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on, 161. https://doi.org/10.1109/EMPDP.1993.336407
Παραπομπή σε μορφή Chicago (17η εκδ.)Bijnens, S., W. Joosen, και Y. Berbers. "Load Balanced Parallel Program Verification on a Shared Memory Machine." 1993 Euromicro Workshop on Parallel and Distributed Processing, Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on 1993: 161. https://doi.org/10.1109/EMPDP.1993.336407.
Παραπομπή σε μορφή MLA (9th εκδ.)Bijnens, S., et al. "Load Balanced Parallel Program Verification on a Shared Memory Machine." 1993 Euromicro Workshop on Parallel and Distributed Processing, Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on, 1993, p. 161, https://doi.org/10.1109/EMPDP.1993.336407.