%0 Book
%A  edited by Rajeev Alur, Thomas A. Henzinger.
%T Computer Aided Verification : 
%U /book/90114054/Computer-Aided-Verification/