APA (7th ed.) Citation

Ahmadi, S., & Fallah, M. S. (2018). An Omniscience-Free Temporal Logic of Knowledge for Verifying Authentication Protocols. Bulletin of the Iranian Mathematical Society, 44(5), 1243. https://doi.org/10.1007/s41980-018-0087-9

Chicago Style (17th ed.) Citation

Ahmadi, S., and M. S. Fallah. "An Omniscience-Free Temporal Logic of Knowledge for Verifying Authentication Protocols." Bulletin of the Iranian Mathematical Society 44, no. 5 (2018): 1243. https://doi.org/10.1007/s41980-018-0087-9.

MLA (9th ed.) Citation

Ahmadi, S., and M. S. Fallah. "An Omniscience-Free Temporal Logic of Knowledge for Verifying Authentication Protocols." Bulletin of the Iranian Mathematical Society, vol. 44, no. 5, 2018, p. 1243, https://doi.org/10.1007/s41980-018-0087-9.