Cita APA (7a ed.)
Zhu, W., Feng, C., & Wu, H. (2017). Model Checking Temporal Logic Formulas Using Sticker Automata. BioMed Research International, 2017, 1-34.
Cita Chicago Style (17a ed.)
Zhu, Weijun, Changwei Feng, y Huanmei Wu. "Model Checking Temporal Logic Formulas Using Sticker Automata." BioMed Research International 2017 (2017): 1-34.
Cita MLA (9a ed.)
Zhu, Weijun, et al. "Model Checking Temporal Logic Formulas Using Sticker Automata." BioMed Research International, vol. 2017, 2017, pp. 1-34.
Precaución: Estas citas no son 100% exactas.