APA (7th ed.) Citation

Katsiri, E., & Mycroft, A. (2011). Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systems. Simulation Modelling Practice & Theory, 19(1), 161. https://doi.org/10.1016/j.simpat.2010.06.002

Chicago Style (17th ed.) Citation

Katsiri, Eleftheria, and Alan Mycroft. "Linking Temporal First-order Logic with Bayesian Networks for the Simulation of Pervasive Computing Systems." Simulation Modelling Practice & Theory 19, no. 1 (2011): 161. https://doi.org/10.1016/j.simpat.2010.06.002.

MLA (9th ed.) Citation

Katsiri, Eleftheria, and Alan Mycroft. "Linking Temporal First-order Logic with Bayesian Networks for the Simulation of Pervasive Computing Systems." Simulation Modelling Practice & Theory, vol. 19, no. 1, 2011, p. 161, https://doi.org/10.1016/j.simpat.2010.06.002.