APA (7th ed.) Citation

Torrez Rojas, M. A., Takeo Ueda, E., & Melo de Brito Carvalho, T. C. (2014, June). Modelling and verification of security rules in an OpenFlow environment with Coloured Petri Nets. Iberian Conference on Information Systems and Technologies (Print), 1-7. https://doi.org/10.1109/CISTI.2014.6876890

Chicago Style (17th ed.) Citation

Torrez Rojas, Marco Antonio, Eduardo Takeo Ueda, and Tereza Cristina Melo de Brito Carvalho. "Modelling and Verification of Security Rules in an OpenFlow Environment with Coloured Petri Nets." Iberian Conference on Information Systems and Technologies (Print) Jun. 2014: 1-7. https://doi.org/10.1109/CISTI.2014.6876890.

MLA (9th ed.) Citation

Torrez Rojas, Marco Antonio, et al. "Modelling and Verification of Security Rules in an OpenFlow Environment with Coloured Petri Nets." Iberian Conference on Information Systems and Technologies (Print), Jun. 2014, pp. 1-7, https://doi.org/10.1109/CISTI.2014.6876890.