Cite
Expressing and Verifying Temporal and Structural Properties of Mobile Agents.
MLA
Bednarczyk, Marek A., et al. “Expressing and Verifying Temporal and Structural Properties of Mobile Agents.” Fundamenta Informaticae, vol. 72, no. 1–3, July 2006, pp. 51–63. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=asx&AN=21970950&authtype=sso&custid=ns315887.
APA
Bednarczyk, M. A., Jamroga, W., & Pawłowski, W. (2006). Expressing and Verifying Temporal and Structural Properties of Mobile Agents. Fundamenta Informaticae, 72(1–3), 51–63.
Chicago
Bednarczyk, Marek A., Wojciech Jamroga, and Wiesław Pawłowski. 2006. “Expressing and Verifying Temporal and Structural Properties of Mobile Agents.” Fundamenta Informaticae 72 (1–3): 51–63. http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=asx&AN=21970950&authtype=sso&custid=ns315887.