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-Zitierstil (17. Ausg.)Torrez Rojas, Marco Antonio, Eduardo Takeo Ueda, und 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-Zitierstil (9. Ausg.)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.