APA (7th ed.) Citation

Pereira, F., Moutinho, F., Gomes, L., & Campos-Rebelo, R. (2013). IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics.

Chicago Style (17th ed.) Citation

Pereira, Fernando, Filipe Moutinho, Luís Gomes, and Rogério Campos-Rebelo. IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics. 2013.

MLA (8th ed.) Citation

Pereira, Fernando, et al. IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics. 2013.