Publisher
Springer Berlin Heidelberg
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Branching-Time Model Checking Gap-Order Constraint Systems;Fundamenta Informaticae;2016-03-04
2. Termination analysis with recursive calling graphs;Journal of Network and Computer Applications;2016-01
3. Ranking Templates for Linear Loops;Logical Methods in Computer Science;2015-03-31
4. Fairness Modulo Theory: A New Approach to LTL Software Model Checking;Computer Aided Verification;2015
5. Ranking Templates for Linear Loops;Tools and Algorithms for the Construction and Analysis of Systems;2014