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

رقم:

مقدم:

كابتشا:

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

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

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