公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2010 | Simulation Subsumption in Ramsey-based Buchi Automata Universality and Inclusion Testing | P.A. Abdulla; Y.-F. Chen; L.o Clemente; L. Holik; C.-D. Hong; R. Mayr; T. Vojnar | ||||
2010 | When Simulation Meets Antichain (on Language Inclusion Checking of NFA/TA) (Best Paper Award) | P.A. Abdulla; Y.-F. Chen; L. Holik; R. Mayr; T. Vojnar |