發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

發送短信 : Avoiding state-space explosion in Model-Checker : M.A Thesis Information Technology : 60 48 01