發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

發送短信 : Safety analysis of a Class of Timed Automata Hybrid Systems