Author:
Babić Domagoj,Rakamarić Zvonimir
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Lecture Notes in Computer Science;P.A. Abdulla,2004
2. Alur, R., Madhusudan, P.: Visibly pushdown languages. In: Annual ACM Symp. on Theory of Computing (STOC), pp. 202–211 (2004)
3. Babić, D., Rakamarić, Z.: Asynchronously communicating visibly pushdown systems. Technical Report UCB/EECS-2011-108, University of California, Berkeley (October 2011)
4. Ball, T., Majumdar, R., Millstein, T., Rajamani, S.K.: Automatic predicate abstraction of C programs. In: Conf. on Programming Language Design and Implementation (PLDI), pp. 203–213 (2001)
5. Lecture Notes in Computer Science;S. Basu,2012
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献