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

رقم:

مقدم:

كابتشا:

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

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

أرسل هذا في رسالة قصيرة: Anti-chain based algorithms for timed/probabilistic refinement checking