Cite

Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks.

MLA

Godskesen, Jens Chr., et al. “Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks.” ENTCS: Electronic Notes in Theoretical Computer Science, vol. 229, no. 2, July 2009, pp. 77–93. EBSCOhost, https://doi.org/10.1016/j.entcs.2009.06.030.



APA

Godskesen, J. C., Hüttel, H., & Kühnrich, M. (2009). Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. ENTCS: Electronic Notes in Theoretical Computer Science, 229(2), 77–93. https://doi.org/10.1016/j.entcs.2009.06.030



Chicago

Godskesen, Jens Chr., Hans Hüttel, and Morten Kühnrich. 2009. “Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks.” ENTCS: Electronic Notes in Theoretical Computer Science 229 (2): 77–93. doi:10.1016/j.entcs.2009.06.030.