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

رقم:

مقدم:

كابتشا:

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

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

أرسل هذا في رسالة قصيرة: Model checking concurrent and real-time systems : the PAT approach