APA-viite (7. p.)
Bellettini, C., Camilli, M., Capra, L., & Monga, M. (Oct 24, 2013). Distributed CTL Model Checking in the Cloud. arXiv.org. https://doi.org/10.1109/SYNASC.2014.52
Chicago-viite (17. p.)
Bellettini, Carlo, Matteo Camilli, Lorenzo Capra, ja Mattia Monga. "Distributed CTL Model Checking in the Cloud." ArXiv.org Oct 24, 2013. https://doi.org/10.1109/SYNASC.2014.52.
MLA-viite (9. p.)
Bellettini, Carlo, et al. "Distributed CTL Model Checking in the Cloud." ArXiv.org, Oct 24, 2013, https://doi.org/10.1109/SYNASC.2014.52.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.