Author:
Zuck Lenore D.,McMillan Kenneth L.
Publisher
Springer International Publishing
Reference17 articles.
1. Lecture Notes in Computer Science;A Pnueli,2003
2. Balaban, I., Pnueli, A., Sa’ar, Y., Zuck, L.D.: Verification of multi-linked heaps. J. Comput. Syst. Sci. 78(3), 853–876 (2012)
3. Lecture Notes in Computer Science;I Balaban,2005
4. Lecture Notes in Computer Science;I Balaban,2007
5. Lecture Notes in Computer Science;Y Fang,2006
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献