Peled, D. A., & Wooldridge, M. J. (2009). Model checking and artificial intelligence: 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised selected and invited papers. Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationPeled, Doron A., and Michael J. Wooldridge. Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
MLA (8th ed.) CitationPeled, Doron A., and Michael J. Wooldridge. Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Springer Berlin Heidelberg, 2009.
Warning: These citations may not always be 100% accurate.