SpringerLink (Online service), Edelkamp, S., & Lomuscio, A. (2007). Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers. Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Stefan Edelkamp, και Alessio Lomuscio. Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva Del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva Del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers. Springer Berlin Heidelberg, 2007.
