MLA
Cong-Vinh, Phan. "Formal Specification and Verification of Self-Configuring P2P Networking: A Case Study in Mobile Environments." Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification, edited by Phan Cong-Vinh, IGI Global, 2012, pp. 170-188. https://doi.org/10.4018/978-1-60960-845-3.ch007
APA
Cong-Vinh, P. (2012). Formal Specification and Verification of Self-Configuring P2P Networking: A Case Study in Mobile Environments. In P. Cong-Vinh (Ed.), Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification (pp. 170-188). IGI Global. https://doi.org/10.4018/978-1-60960-845-3.ch007
Chicago
Cong-Vinh, Phan. "Formal Specification and Verification of Self-Configuring P2P Networking: A Case Study in Mobile Environments." In Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification, edited by Phan Cong-Vinh, 170-188. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-60960-845-3.ch007
Export Reference