أرسل هذا في رسالة قصيرة

رقم:

مقدم:

كابتشا:

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

يرجى إدخال ما تراه::

أرسل هذا في رسالة قصيرة: Avoiding state-space explosion in Model-Checker : M.A Thesis Information Technology : 60 48 01