Model Checking and Artificial Intelligence

MLA

Meyden, Ron, et al. Model Checking and Artificial Intelligence. Springer Berlin Heidelberg, 2011.

APA

Meyden, R., Kanade, T., Smaus, J., & Kittler, J. (2011). Model Checking and Artificial Intelligence. Springer Berlin Heidelberg.

Chicago

Meyden, Ron, Takeo Kanade, Jan-Georg Smaus, and Josef Kittler. Model Checking and Artificial Intelligence. : Springer Berlin Heidelberg, 2011.