Publisher
Springer International Publishing
Reference18 articles.
1. Andrews, G.R.: Concurrent Programming: Principles and Practice. Benjamin-Cummings Publishing Co., Inc., Redwood City (1991)
2. Lecture Notes in Computer Science;T Bultan,1997
3. Lecture Notes in Computer Science;R Cavada,2014
4. Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Trans. Program. Lang. Syst. 16(5), 1512–1542 (1994)
5. Lecture Notes in Computer Science;E Clarke,2003
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Partial predicate abstraction and counter-example guided refinement;Journal of Logical and Algebraic Methods in Programming;2020-01