Author:
Enea Constantin,Habermehl Peter,Inverso Omar,Parlato Gennaro
Publisher
Open Publishing Association
Reference24 articles.
1. Adding nesting structure to words;Alur;J. ACM,2009
2. Model-Checking of Ordered Multi-Pushdown Automata;Atig;Logical Methods in Computer Science,2012
3. Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding;Atig,2012
4. A Tourist Guide through Treewidth;Bodlaender;Acta Cybern.,1993
5. Weak second-order Arithmetic and Finite Automata.;Büchi;Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik,1960
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献