Text this

Number:

Provider:

CAPTCHA:

 _____       ___     __   _    __   __            
|  __ \\    / _ \\  | || | ||  \ \\/ //   ____    
| |  \ ||  / //\ \\ | '--' ||   \ ` //   |    \\  
| |__/ || |  ___  ||| .--. ||    | ||    | [] ||  
|_____//  |_||  |_|||_|| |_||    |_||    |  __//  
 -----`   `-`   `-` `-`  `-`     `-`'    |_|`-`   
                                         `-`

Please enter what you see:

Text this: Avoiding state-space explosion in Model-Checker : M.A Thesis Information Technology : 60 48 01