APA (7th ed.) Citation

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.

Chicago Style (17th ed.) Citation

Moutinho, Filipe, Luís Gomes, Paulo Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Aniko Costa, and Andre Monteiro. Petri Net Based Specification and Verification of Globally-asynchronous-locally-synchronous System. 2013.

MLA (8th ed.) Citation

Moutinho, Filipe, et al. Petri Net Based Specification and Verification of Globally-asynchronous-locally-synchronous System. 2013.