APA (7th ed.) Citation

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 Style (17th ed.) Citation

van de Pol, J., and 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 ed.) Citation

van de Pol, J., and 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.