MLA
Almeida, Hyggo, et al. "Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets." Verification, Validation and Testing in Software Engineering, edited by Aristides Dasso and Ana Funes, IGI Global, 2007, pp. 28-54. https://doi.org/10.4018/978-1-59140-851-2.ch002
APA
Almeida, H., Silva, L., Ferreira, G., Loureiro, E., & Perkusich, A. (2007). Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets. In A. Dasso & A. Funes (Eds.), Verification, Validation and Testing in Software Engineering (pp. 28-54). IGI Global. https://doi.org/10.4018/978-1-59140-851-2.ch002
Chicago
Almeida, Hyggo, et al. "Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets." In Verification, Validation and Testing in Software Engineering, edited by Aristides Dasso and Ana Funes, 28-54. Hershey, PA: IGI Global, 2007. https://doi.org/10.4018/978-1-59140-851-2.ch002
Export Reference