MLA
Manzalini, Antonio, et al. "Specification, Development, and Verification of CASCADAS Autonomic Computing and Networking Toolkit." Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification, edited by Phan Cong-Vinh, IGI Global, 2012, pp. 65-96. https://doi.org/10.4018/978-1-60960-845-3.ch003
APA
Manzalini, A., Brgulja, N., Minerva, R., & Moiso, C. (2012). Specification, Development, and Verification of CASCADAS Autonomic Computing and Networking Toolkit. In P. Cong-Vinh (Ed.), Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification (pp. 65-96). IGI Global. https://doi.org/10.4018/978-1-60960-845-3.ch003
Chicago
Manzalini, Antonio, et al. "Specification, Development, and Verification of CASCADAS Autonomic Computing and Networking Toolkit." In Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification, edited by Phan Cong-Vinh, 65-96. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-60960-845-3.ch003
Export Reference