APA (7th ed.) Citation

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 Style (17th ed.) Citation

SpringerLink (Online service), Stefan Edelkamp, and 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 ed.) Citation

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.