MLA
Dias da Silva, Leandro, et al. "An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems." Artificial Intelligence and Integrated Intelligent Information Systems: Emerging Technologies and Applications, edited by Xuan Zha, IGI Global, 2007, pp. 287-302. https://doi.org/10.4018/978-1-59904-249-7.ch015
APA
Dias da Silva, L., da Silva Oliveiro, E. A., Almeida, H., & Perkusich, A. (2007). An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems. In X. Zha (Ed.), Artificial Intelligence and Integrated Intelligent Information Systems: Emerging Technologies and Applications (pp. 287-302). IGI Global. https://doi.org/10.4018/978-1-59904-249-7.ch015
Chicago
Dias da Silva, Leandro, et al. "An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems." In Artificial Intelligence and Integrated Intelligent Information Systems: Emerging Technologies and Applications, edited by Xuan Zha, 287-302. Hershey, PA: IGI Global, 2007. https://doi.org/10.4018/978-1-59904-249-7.ch015
Export Reference