MLA
Ribeiro Neto, Pedro Fernandes, et al. "A Formal Verification and Validation Approach for Real-Time Databases." Software Applications: Concepts, Methodologies, Tools, and Applications, edited by Pierre F. Tiako, IGI Global, 2009, pp. 3160-3178. https://doi.org/10.4018/978-1-60566-060-8.ch183
APA
Ribeiro Neto, P. F., Barbosa Perkusich, M. L., de Almeida, H. O., & Perkusich, A. (2009). A Formal Verification and Validation Approach for Real-Time Databases. In P. Tiako (Ed.), Software Applications: Concepts, Methodologies, Tools, and Applications (pp. 3160-3178). IGI Global. https://doi.org/10.4018/978-1-60566-060-8.ch183
Chicago
Ribeiro Neto, Pedro Fernandes, et al. "A Formal Verification and Validation Approach for Real-Time Databases." In Software Applications: Concepts, Methodologies, Tools, and Applications, edited by Pierre F. Tiako, 3160-3178. Hershey, PA: IGI Global, 2009. https://doi.org/10.4018/978-1-60566-060-8.ch183
Export Reference