APA (7th ed.) Citation

Mokhov, A., Sokolov, D., Rykunov, M., & Yakovlev, A. (2011, July). Formal modelling and transformations of processor instruction sets. 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 51-60. https://doi.org/10.1109/MEMCOD.2011.5970510

Chicago Style (17th ed.) Citation

Mokhov, A., D. Sokolov, M. Rykunov, and A. Yakovlev. "Formal Modelling and Transformations of Processor Instruction Sets." 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign Jul. 2011: 51-60. https://doi.org/10.1109/MEMCOD.2011.5970510.

MLA (9th ed.) Citation

Mokhov, A., et al. "Formal Modelling and Transformations of Processor Instruction Sets." 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, Jul. 2011, pp. 51-60, https://doi.org/10.1109/MEMCOD.2011.5970510.