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

رقم:

مقدم:

كابتشا:

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

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

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