Choose the citation style.
Ye, Q., & MacGregor, M. H. (2011). Using simulation to test formally verified protocols in complex environments. Telecommunications Software Engineering: Emerging Methods, Models And Tools, 53(3), 538-551. doi:10.1016/j.mcm.2010.03.039

Bookmarks: