Author:
Habermehl Peter,Holík Lukáš,Rogalewicz Adam,Šimáček Jiří,Vojnar Tomáš
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automata Terms in a Lazy WSkS Decision Procedure;Journal of Automated Reasoning;2021-08-03
2. Towards Efficient Shape Analysis with Tree Automata;Networked Systems;2021
3. Shape Analysis;Foundations and Trends® in Programming Languages;2020
4. Automata Terms in a Lazy WSkS Decision Procedure;Lecture Notes in Computer Science;2019
5. Nested antichains for WS1S;Acta Informatica;2019-01-01