Cita APA (7a ed.)
Stefan Edelkamp, A. L. Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers. Springer.
Cita estilo Chicago (17a ed.)
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. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
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. Springer.
Precaución: Estas citas no son 100% exactas.