%0 Book
%A 
%T Model Checking and Artificial Intelligence
%U /book/92921317/Model-Checking-and-Artificial-Intelligence/