Παραπομπή σε μορφή APA (7η εκδ.)

European Conference on Artificial Intelligence Patras, Greece, Peled, D. A., & Wooldridge, M. (2008). Model checking and artificial intelligence. University of Patras.

Παραπομπή σε μορφή Chicago (17η εκδ.)

European Conference on Artificial Intelligence Patras, Greece, Doron A. Peled, και Mike Wooldridge. Model Checking and Artificial Intelligence. Patras: University of Patras, 2008.

Παραπομπή σε μορφή MLA (8th εκδ.)

European Conference on Artificial Intelligence Patras, Greece, et al. Model Checking and Artificial Intelligence. University of Patras, 2008.