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

رقم:

مقدم:

كابتشا:

  ______   __   __    _____      ___      _____   
 /_   _//  \ \\/ //  |__  //    / _ \\   |__  //  
   | ||     \ ` //     / //    / //\ \\    / //   
  _| ||      | ||     / //__  |  ___  ||  / //__  
 /__//       |_||    /_____|| |_||  |_|| /_____|| 
 `--`        `-`'    `-----`  `-`   `-`  `-----`

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

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