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
Citácia podle Chicago (17th ed.)Torrez Rojas, Marco Antonio, Eduardo Takeo Ueda, a 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.
Citácia podľa MLA (8th ed.)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.