MLA
Manzalini, Antonio, Nermin Brgulja, Roberto Minerva and Corrado Moiso. "Specification, Development, and Verification of CASCADAS Autonomic Computing and Networking Toolkit." Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification. IGI Global, 2012. 65-96. Web. 8 Dec. 2019. 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 P. Cong-Vinh (Ed.), Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification (pp. 65-96). Hershey, PA: IGI Global. doi:10.4018/978-1-60960-845-3.ch003
Chicago
Manzalini, Antonio, 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, ed. Phan Cong-Vinh, 65-96 (2012), accessed December 08, 2019. doi:10.4018/978-1-60960-845-3.ch003
Export Reference