http://ir.sinica.edu.tw/handle/201000000A/39289| 題名: | Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages | 作者: | A. Farzan Y.-F. Chen E.M. Clarke Y.-K. Tsay B.-Y. Wang |
公開日期: | 2008-03 | 會議: | The 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008) (Budapest, Hungary) | URI: | http://ir.sinica.edu.tw/handle/201000000A/39289 |
| 顯示於： | 資訊科學研究所 |
在 IR 系統中的文件，除了特別指名其著作權條款之外，均受到著作權保護，並且保留所有的權利。