Barbosa, P., Barros, J. P., Ramalho, F., Gomes, L., Figueiredo, J., Moutinho, F., . . . Aranha, A. (2013). SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design.
Citação do estilo Chicago (17ª ed.)Barbosa, Paulo, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, e André Aranha. SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics Within Embedded Systems Design. 2013.
Citação MLA (8ª ed.)Barbosa, Paulo, et al. SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics Within Embedded Systems Design. 2013.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.