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 (1st ed. 2007.). Springer Berlin Heidelberg : Imprint: Springer.
Cita Chicago Style (17a ed.)SpringerLink (Online service), Stefan Edelkamp, y Alessio Lomuscio. Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva Del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers. 1st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2007.
Cita MLA (8a ed.)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. 1st ed. 2007. Springer Berlin Heidelberg : Imprint: Springer, 2007.