Publisher
Springer International Publishing
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Dissecting ltlsynt;Formal Methods in System Design;2023-07-14
2. From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata;Innovations in Systems and Software Engineering;2022-04-09
3. Practical Applications of the Alternating Cycle Decomposition;Tools and Algorithms for the Construction and Analysis of Systems;2022
4. From Spot 2.0 to Spot 2.10: What’s New?;Computer Aided Verification;2022
5. Index appearance record with preorders;Acta Informatica;2021-12-30