Author:
Mühlberg Jan Tobias,Lüttgen Gerald
Publisher
Springer Berlin Heidelberg
Reference38 articles.
1. Lecture Notes in Computer Science;G. Balakrishnan,2006
2. Lecture Notes in Computer Science;G. Balakrishnan,2008
3. Ball, T., Bounimova, E., Cook, B., Levin, V., Lichtenberg, J., McGarvey, C., Ondrusek, B., Rajamani, S.K., Ustuner, A.: Thorough static analysis of device drivers. SIGOPS Oper. Syst. Rev. 40, 73–85 (2006)
4. Lecture Notes in Computer Science;T. Ball,2001
5. Brummayer, R., Biere, A., Lonsing, F.: BTOR: Bit-precise modelling of word-level problems for model checking. In: SMT 2008, pp. 33–38. ACM, New York (2008)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献