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

رقم:

مقدم:

كابتشا:

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

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

أرسل هذا في رسالة قصيرة: Model checking parameterized process classes