Model Checking and Artificial Intelligence

MLA

Edelkamp, Stefan, Alessio Lomuscio, and Jörg Siekmann. Model Checking and Artificial Intelligence. Springer Berlin Heidelberg, 2007.

APA

Edelkamp, S., Lomuscio, A., & Siekmann, J. (2007). Model Checking and Artificial Intelligence. Springer Berlin Heidelberg.

Chicago

Edelkamp, Stefan, Alessio Lomuscio, and Jörg Siekmann. Model Checking and Artificial Intelligence. : Springer Berlin Heidelberg, 2007.