APA
Doron A. Peled M. J. W., . (2009). Model Checking and Artificial Intelligence. Germany: Springer.
Chicago
Doron A. Peled Michael J Wooldridge, . 2009. Model Checking and Artificial Intelligence. Germany: Springer.
Harvard
Doron A. Peled M. J. W., . (2009). Model Checking and Artificial Intelligence. Germany: Springer.
MLA
Doron A. Peled Michael J Wooldridge, . Model Checking and Artificial Intelligence. Germany: Springer. 2009.