%0 Book
%A  Ron van der Meyden, Jan-Georg Smaus (editions.)
%T Model checking and artificial intelligence :
%U /book/89975727/Model-checking-and-artificial-intelligence/