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

رقم:

مقدم:

كابتشا:

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

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

أرسل هذا في رسالة قصيرة: Unfold/fold transformations for automated verification of parameterized concurrent systems