@book{32450,
	author = {MoChArt 2008 and Peled, Doron,},
	title = {Model Checking and Artificial Intelligence :},
	publisher = {Springer,},
	year = {c2009.},
	series = {Lecture notes in computer science,},
	address = {Berlin ;},
	url = {http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017188181&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA}
}