"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-642-00431-5","Model Checking and Artificial Intelligence","5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers","Doron A. Peled; Michael Wooldridge",2009,"1","https://doi.org/10.1007/978-3-642-00431-5",100,""