Gardner, W. B., Gumtie, A., & Carter, J. D. (2015, August). Supporting Selective Formalism in CSP++ with Process-Specific Storage. 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems, 1057-1065. https://doi.org/10.1109/HPCC-CSS-ICESS.2015.265
Chicago Style (17th ed.) CitationGardner, William B., Alicia Gumtie, and John D. Carter. "Supporting Selective Formalism in CSP++ with Process-Specific Storage." 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems Aug. 2015: 1057-1065. https://doi.org/10.1109/HPCC-CSS-ICESS.2015.265.
MLA (9th ed.) CitationGardner, William B., et al. "Supporting Selective Formalism in CSP++ with Process-Specific Storage." 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems, Aug. 2015, pp. 1057-1065, https://doi.org/10.1109/HPCC-CSS-ICESS.2015.265.