Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Regular Model Checking with Regular Relations;Fundamentals of Computation Theory;2021
2. Enhancing Approximations for Regular Reachability Analysis;Implementation and Application of Automata;2013
3. Regular model checking;International Journal on Software Tools for Technology Transfer;2011-12-07
4. Domain-specific regular acceleration;International Journal on Software Tools for Technology Transfer;2011-07-20