Author:
Li Yong,Turrini Andrea,Zhang Lijun,Schewe Sven
Publisher
Springer International Publishing
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modular Mix-and-Match Complementation of Büchi Automata;Tools and Algorithms for the Construction and Analysis of Systems;2023
2. Sky Is Not the Limit;Tools and Algorithms for the Construction and Analysis of Systems;2022
3. Deciding S1S: Down the Rabbit Hole and Through the Looking Glass;Networked Systems;2021
4. Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization;Computer Aided Verification;2020
5. ROLL 1.0: $$\omega $$ -Regular Language Learning Library;Tools and Algorithms for the Construction and Analysis of Systems;2019