Moutinho, F., Gomes, L., Barbosa, P., Barros, J. P., Ramalho, F., Figueiredo, J., . . . Monteiro, A. (2013). Petri Net based specification and verification of globally-asynchronous-locally-synchronous system.
Citação do estilo Chicago (17ª ed.)Moutinho, Filipe, Luís Gomes, Paulo Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Aniko Costa, e Andre Monteiro. Petri Net Based Specification and Verification of Globally-asynchronous-locally-synchronous System. 2013.
Citação MLA (8ª ed.)Moutinho, Filipe, et al. Petri Net Based Specification and Verification of Globally-asynchronous-locally-synchronous System. 2013.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.