http://ir.sinica.edu.tw/handle/201000000A/39299
題名: | Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) | 作者: | Matthias Heizmann Yu-Fang Chen Daniel Dietsch Marius Greitschus Jochen Hoenicke Yong Li Alexander Nutz Betim Musa Christian Schilling Tanja Schindler Andreas Podelski |
公開日期: | 2018-04 | 會議: | Tools and Algorithms for Construction and Analysis of Systems (Thessaloniki, Greece) | URI: | http://ir.sinica.edu.tw/handle/201000000A/39299 |
顯示於: | 資訊科學研究所 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。