van de Pol, J., & Espada, M. (2003). Verification of JavaSpaces/spl trade/ parallel programs. Third International Conference on Application of Concurrency to System Design, 2003. Proceedings., Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on, Application of concurrency to system design, 196. https://doi.org/10.1109/CSD.2003.1207714
Παραπομπή σε μορφή Chicago (17η εκδ.)van de Pol, J., και M.V Espada. "Verification of JavaSpaces/spl Trade/ Parallel Programs." Third International Conference on Application of Concurrency to System Design, 2003. Proceedings., Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on, Application of Concurrency to System Design 2003: 196. https://doi.org/10.1109/CSD.2003.1207714.
Παραπομπή σε μορφή MLA (9th εκδ.)van de Pol, J., και M.V Espada. "Verification of JavaSpaces/spl Trade/ Parallel Programs." Third International Conference on Application of Concurrency to System Design, 2003. Proceedings., Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on, Application of Concurrency to System Design, 2003, p. 196, https://doi.org/10.1109/CSD.2003.1207714.