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. http://doi: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 Cong-Vinh, P. (Ed.), Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification (pp. 65-96). IGI Global. http://doi:10.4018/978-1-60960-845-3.ch003
Chicago
Manzalini, Antonio and Nermin Brgulja, Roberto Minerva, and Corrado Moiso. "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. http://doi:10.4018/978-1-60960-845-3.ch003
Export Reference
