發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

發送短信 : Safety Analysis of Timed Automata Hybrid Systems with SOS for Complex Eigenvalues