http://ir.sinica.edu.tw/handle/201000000A/39299
Title: | Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) | Authors: | Matthias Heizmann Yu-Fang Chen Daniel Dietsch Marius Greitschus Jochen Hoenicke Yong Li Alexander Nutz Betim Musa Christian Schilling Tanja Schindler Andreas Podelski |
Issue Date: | 2018-04 | Conference: | Tools and Algorithms for Construction and Analysis of Systems (Thessaloniki, Greece) | URI: | http://ir.sinica.edu.tw/handle/201000000A/39299 |
Appears in Collections: | 資訊科學研究所 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.