MLA
Ribeiro Neto, Pedro Fernandes, et al. "A Formal Verification and Approach for Real-Time Databases." Selected Readings on Database Technologies and Applications, edited by Terry Halpin, IGI Global, 2009, pp. 268-295. https://doi.org/10.4018/978-1-60566-098-1.ch013
APA
Ribeiro Neto, P. F., Barbosa Perkusich, M. L., De Almeida, H. O., & Perkusich, A. (2009). A Formal Verification and Approach for Real-Time Databases. In T. Halpin (Ed.), Selected Readings on Database Technologies and Applications (pp. 268-295). IGI Global. https://doi.org/10.4018/978-1-60566-098-1.ch013
Chicago
Ribeiro Neto, Pedro Fernandes, et al. "A Formal Verification and Approach for Real-Time Databases." In Selected Readings on Database Technologies and Applications, edited by Terry Halpin, 268-295. Hershey, PA: IGI Global, 2009. https://doi.org/10.4018/978-1-60566-098-1.ch013
Export Reference