Model Checking and Artificial Intelligence

MLA

Peled, Doron A, et al. Model Checking and Artificial Intelligence. Springer Berlin Heidelberg, 2009.

APA

Peled, D. A, Kanade, T., Wooldridge, M. J, Kittler, J., & Wooldridge, M. (2009). Model Checking and Artificial Intelligence. Springer Berlin Heidelberg.

Chicago

Peled, Doron A., Takeo Kanade, Michael J Wooldridge, Josef Kittler, and Michael Wooldridge. Model Checking and Artificial Intelligence. : Springer Berlin Heidelberg, 2009.