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

رقم:

مقدم:

كابتشا:

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

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

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