Author:
Karandikar P.,Niewerth M.,Schnoebelen Ph.
Funder
Tata Consultancy Services
DFG
Subject
General Computer Science,Theoretical Computer Science
Reference47 articles.
1. Using forward reachability analysis for verification of lossy channel systems;Abdulla;Form. Methods Syst. Des.,2004
2. Polynomial operations on rational languages;Arfi,1987
3. Finite automata for the sub- and superword closure of CFLs: descriptional and computational complexity;Bachmeier,2015
4. Searching subsequences;Baeza-Yates;Theoret. Comput. Sci.,1991
5. Computable fixpoints in well-structured symbolic model checking;Bertrand;Form. Methods Syst. Des.,2013
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献